On the public citation graph

Testing robot controllers using constraint programming and continuous integration

https://doi.org/10.1016/j.infsof.2014.09.009

0 signed · 68 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.294openalex-snapshot

Search‐based software test data generation: a survey

inferredcites →https://doi.org/10.1002/stvr.456openalex-snapshot

A taxonomy of model‐based testing approaches

inferredcites →https://doi.org/10.1007/978-0-387-35567-2_7openalex-snapshot

Architectures for Testing Distributed Systems

inferredcites →https://doi.org/10.1007/978-0-387-88735-7openalex-snapshot

Machine Learning in Cyber Trust

inferredcites →https://doi.org/10.1007/978-3-030-72274-6openalex-snapshot

Introduction to Discrete Event Systems

inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot

Z3: An Efficient SMT Solver

inferredcites →https://doi.org/10.1007/978-3-642-33558-7openalex-snapshot

Principles and Practice of Constraint Programming

inferredcites →https://doi.org/10.1007/978-3-642-33558-7_22openalex-snapshot

Optimisation Modelling for Software Developers

inferredcites →https://doi.org/10.1007/bfb0033845openalex-snapshot

An open-ended finite domain constraint solver

inferredcites →https://doi.org/10.1007/bfb0110382openalex-snapshot

Introduction to discrete event systems

inferredcites →https://doi.org/10.1007/s10601-013-9149-zopenalex-snapshot

The future of optimization technology

inferredcites →https://doi.org/10.1016/j.entcs.2004.12.010openalex-snapshot

Test Selection Strategies for Lustre Descriptions in GATeL

inferredcites →https://doi.org/10.1016/j.infsof.2006.10.016openalex-snapshot

Goal-oriented test data generation for pointer programs

inferredcites →https://doi.org/10.1016/s0950-5849(98)00050-0openalex-snapshot

A new heuristic for test suite reduction

inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot

The control of discrete event systems

inferredcites →https://doi.org/10.1109/ecbs.2008.20openalex-snapshot

CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments

inferredcites →https://doi.org/10.1109/icsm.2013.91openalex-snapshot

Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study

inferredcites →https://doi.org/10.1109/icst.2013.71openalex-snapshot

Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment

inferredcites →https://doi.org/10.1109/isorc.2008.25openalex-snapshot

Cyber Physical Systems: Design Challenges

inferredcites →https://doi.org/10.1109/issre.2004.18openalex-snapshot

Empirical Studies of Test Case Prioritization in a JUnit Testing Environment

inferredcites →https://doi.org/10.1109/issre.2013.6698915openalex-snapshot

Stress testing of task deadlines: A constraint programming approach

inferredcites →https://doi.org/10.1109/mcs.2004.1275432openalex-snapshot

Time synchronization in a local area network

inferredcites →https://doi.org/10.1109/rtas.2007.5openalex-snapshot

A Programming Model for Time-Synchronized Distributed Real-Time Systems

inferredcites →https://doi.org/10.1109/sficon.2002.1159815openalex-snapshot

IEEE 1588 standard for a precision clock synchronization protocol for networked measurement and control systems

inferredcites →https://doi.org/10.1109/sutc.2008.85openalex-snapshot

Cyber-Physical Systems: A New Frontier

inferredcites →https://doi.org/10.1145/1837274.1837461openalex-snapshot

Cyber-physical systems

inferredcites →https://doi.org/10.1145/1953122.1953145openalex-snapshot

Specification and verification

inferredcites →https://doi.org/10.1145/2024724openalex-snapshot

Proceedings of the 48th Design Automation Conference

inferredcites →https://doi.org/10.1145/2038642.2038683openalex-snapshot

Cross-layer analysis, testing and verification of automotive control software

inferredcites →https://doi.org/10.1145/2351676openalex-snapshot

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

inferredcites →https://doi.org/10.1145/2351676.2351751openalex-snapshot

Communicating continuous integration servers for increasing effectiveness of automated testing

inferredcites →https://doi.org/10.1145/2568225.2568248openalex-snapshot

Unit test virtualization with VMVM

inferredcites →https://doi.org/10.1145/2591062.2591063openalex-snapshot

VMVM: unit test virtualization for Java

inferredcites →https://doi.org/10.1145/2593812.2593813openalex-snapshot

Continuous software engineering and beyond: trends and challenges

inferredcites →https://doi.org/10.1145/2593882.2593885openalex-snapshot

Software testing: a research travelogue (2000–2014)

inferredcites →https://doi.org/10.1145/271771.271790openalex-snapshot

Automatic test data generation using constraint solving techniques

inferredcites →https://doi.org/10.5860/choice.36-0370openalex-snapshot

Programming with constraints: an introduction

inferredcites →https://doi.org/10.7551/mitpress/5625.001.0001openalex-snapshot

Programming with Constraints

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/smr.2153openalex-snapshot

Test activities in the continuous integration and delivery pipeline

inferred← citeshttps://doi.org/10.1007/978-3-030-66494-7_4openalex-snapshot

Testing Industrial Robotic Systems: A New Battlefield!

inferred← citeshttps://doi.org/10.1007/978-3-031-40923-3_6openalex-snapshot

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics

inferred← citeshttps://doi.org/10.1007/978-3-319-40379-3_3openalex-snapshot

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.05.002openalex-snapshot

Constraint-Based Testing

inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.11.004openalex-snapshot

Recent Advances in Model-Based Testing

inferred← citeshttps://doi.org/10.1016/j.jss.2018.05.002openalex-snapshot

Enable more frequent integration of software in industry projects

inferred← citeshttps://doi.org/10.1109/aitest.2019.00014openalex-snapshot

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories

inferred← citeshttps://doi.org/10.1109/gcat59970.2023.10353253openalex-snapshot

Continuous Integration pipeline for ROS-based application using AWS Robomaker

inferred← citeshttps://doi.org/10.1109/icst46399.2020.00020openalex-snapshot

A Study on Challenges of Testing Robotic Systems

inferred← citeshttps://doi.org/10.1109/indin45523.2021.9557476openalex-snapshot

Cloud Simulation for Continuous Integration and Deployment in Robotics

inferred← citeshttps://doi.org/10.1109/seaa.2017.31openalex-snapshot

The EMFIS Model — Enable More Frequent Integration of Software

inferred← citeshttps://doi.org/10.1109/sii.2019.8700444openalex-snapshot

Design and Development of a Physical Integration Testing Framework for Robotic Manipulators

inferred← citeshttps://doi.org/10.1109/sii46433.2020.9026269openalex-snapshot

Using Point Clouds for Automated Condition Verification in Physical Integration Testing

inferred← citeshttps://doi.org/10.1142/s0218213020600064openalex-snapshot

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

inferred← citeshttps://doi.org/10.1145/3022099.3022101openalex-snapshot

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions

inferred← citeshttps://doi.org/10.1145/3696630.3734199openalex-snapshot

Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges

inferred← citeshttps://doi.org/10.1145/3759454openalex-snapshot

Model-Driven Engineering, Artificial Intelligence, and DevOps for Software and Systems Engineering: A Systematic Mapping Study of Synergies and Challenges

inferred← citeshttps://doi.org/10.14569/ijacsa.2021.0120702openalex-snapshot

SmartTS: A Component-Based and Model-Driven Approach to Software Testing in Robotic Software Ecosystem

inferred← citeshttps://doi.org/10.1609/aimag.v38i2.2723openalex-snapshot

Deploying Constraint Programming for Testing ABB's Painting Robots

inferred← citeshttps://doi.org/10.31256/ukras17.45openalex-snapshot

Navigation Testing for Continuous Integration in Robotics

inferred← citeshttps://doi.org/10.3389/frobt.2024.1346580openalex-snapshot

AAT4IRS: automated acceptance testing for industrial robotic systems

inferred← citeshttps://doi.org/10.3390/s25061693openalex-snapshot

Application of Cloud Simulation Techniques for Robotic Software Validation

inferred← citeshttps://doi.org/10.46799/syntax-idea.v5i4.2188openalex-snapshot

Implementation of the Rational Unified Process (Rup) Method in Designing a Web-Based Certification Scheduling Application (Citation) on Itcc Itpln

inferred← citeshttps://doi.org/10.48550/arxiv.1603.00656openalex-snapshot

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions

inferred← citeshttps://doi.org/10.48550/arxiv.1609.08439openalex-snapshot

Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents

inferred← citeshttps://doi.org/10.48550/arxiv.1703.04741openalex-snapshot

Towards Moral Autonomous Systems

inferred← citeshttps://doi.org/10.48550/arxiv.2104.11351openalex-snapshot

Towards Automated Acceptance testing for industrial robots

inferred← citeshttps://doi.org/10.5753/sbiagro.2023.26578openalex-snapshot

Sistema de auxílio à tomada de decisão da área agrícola DSSAT: automatizando o processo de integração de novas versões

inferred← citeshttps://doi.org/10.70675/7b6c7a97zed72z41e4zaa98z8142c5556c9bopenalex-snapshot

A combination of abstract interpretation and constraint programming

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.