Arnaud Gotlieb

Abhijeet Sapkota

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

Software Testing for Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A learning algorithm for optimizing continuous integration development and testing practice.

[BibT_eX]

[DOI]

Marius Liaaen

Softw. Pract. Exp., 2019

Towards Testing of Deep Learning Systems with Training Set Reduction.

[BibT_eX]

[DOI]

CoRR, 2019

Time-aware Test Execution Scheduling for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Challenges of Testing Machine Learning Based Systems.

[BibT_eX]

[DOI]

Mohit Kumar Ahuja

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Deploying Smart Program Understanding on a Large Code Base.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Rotational Diversity in Multi-Cycle Assignment Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Discovering Program Topoi via Hierarchical Agglomerative Clustering.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

Certus: an organizational effort towards research-based innovation in software verification and validation.

[BibT_eX]

[DOI]

Int. J. Syst. Assur. Eng. Manag., 2018

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

Stratified Constructive Disjunction and Negation in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Discovering Program Topoi Through Clustering.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Automated product line test case selection: industrial case study and controlled experiment.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Deploying Constraint Programming for Testing ABB's Painting Robots.

[BibT_eX]

[DOI]

AI Mag., 2017

Using Global Constraints to Automate Regression Testing.

[BibT_eX]

[DOI]

AI Mag., 2017

Efficient and Complete FD-solving for extended array constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

TITAN: Test Suite Optimization for Highly Configurable Software.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Practical minimization of pairwise-covering test configurations using constraint programming.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Exploiting Binary Floating-Point Representations for Constraint Propagation.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2016

A systematic test case selection methodology for product lines: results and insights from an industrial case study.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2016

Generating Tests for Robotized Painting Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Software Product Line Test Suite Reduction with Constraint Optimization.

[BibT_eX]

[DOI]

Mats Carlsson

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Automated Regression Testing Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Focus section on quality software.

[BibT_eX]

[DOI]

T. H. Tse

Zhenyu Chen

Softw. Pract. Exp., 2015

Cost-effective test suite minimization in product lines using search techniques.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Testing robot controllers using constraint programming and continuous integration.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

Infeasible path generalization in dynamic symbolic execution.

[BibT_eX]

[DOI]

Mickaël Delahaye

Inf. Softw. Technol., 2015

Synthesis of Attributed Feature Models From Product Descriptions: Foundations.

[BibT_eX]

[DOI]

CoRR, 2015

Constraint-Based Testing: An Emerging Trend in Software Testing.

[BibT_eX]

[DOI]

Adv. Comput., 2015

Synthesis of attributed feature models from product descriptions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Towards More Relational Feature Models.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

2014

Random-Weighted Search-Based Multi-objective Optimization Revisited.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Multi-objective test prioritization in software product line testing: an industrial case study.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2014

FLOWER: optimal test suite reduction as a network maximum flow.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Using CP in Automatic Test Generation for ABB Robotics' Paint Control System.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

A Combined Approach for Constraints over Finite Domains and Arrays.

[BibT_eX]

[DOI]

Sébastien Bardin

CoRR, 2013

Filtering Floating-Point Constraints by Maximum ULP.

[BibT_eX]

[DOI]

CoRR, 2013

Practical pairwise testing for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference, 2013

Modelling data interaction requirements: A position paper.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013

Automated Test Case Selection Using Feature Model: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Automated Product Line Methodologies to Support Model-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

Stress testing of task deadlines: A constraint programming approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

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

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Minimizing test suites in software product lines using weight-based genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Scenario Realizability with Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Testing a Data-Intensive System with Generated Data Interactions - The Norwegian Customs and Excise Case Study.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2013

2012

TCAS software verification using constraint programming.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2012

Constraint-based reachability

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

A CP framework for testing CP.

[BibT_eX]

[DOI]

Constraints An Int. J., 2012

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 6th International Conference, 2012

µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Managing Execution Environment Variability during Software Testing: An Industrial Experience.

[BibT_eX]

[DOI]

Aymeric Hervieu

Benoit Baudry

Proceedings of the Testing Software and Systems, 2012

Automatic selection of test execution plans from a video conferencing system product line.

[BibT_eX]

[DOI]

Proceedings of the VARiability for You Workshop, 2012

Minimum Pairwise Coverage Using Constraint Programming Techniques.

[BibT_eX]

[DOI]

Aymeric Hervieu

Benoit Baudry

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A Certified Constraint Solver over Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

Model-Based Automated and Guided Configuration of Embedded Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays.

[BibT_eX]

[DOI]

Sébastien Bardin

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

2011

PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models.

[BibT_eX]

[DOI]

Aymeric Hervieu

Benoit Baudry

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Filtering by ULP Maximum.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

A Framework for the Automatic Correction of Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing).

[BibT_eX]

[DOI]

, 2011

2010

A uniform random test data generator for path testing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Constraint-Based Test Input Generation for Java Bytecode.

[BibT_eX]

[DOI]

Florence Charreteur

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Fault Localization in Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Explanation-Based Generalization of Infeasible Path.

[BibT_eX]

[DOI]

Mickaël Delahaye

Proceedings of the Third International Conference on Software Testing, 2010

FocalTest: A Constraint Programming Approach for Property-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - 5th International Conference, 2010

Constraint Reasoning in FocalTest.

[BibT_eX]

Proceedings of the ICSOFT 2010, 2010

On Testing Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Modelling dynamic memory management in constraint-based testing.

[BibT_eX]

[DOI]

Florence Charreteur

J. Syst. Softw., 2009

Euclide: A Constraint-Based Testing Framework for Critical C Programs.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Towards a Theory for Testing Non-terminating Programs.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Towards Constraing-Based Local Search for Automatic Test Data Generation.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Constraint Reasoning in Path-Oriented Random Testing.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Goal-oriented test data generation for pointer programs.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2007

Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Improving Constraint-Based Testing with Dynamic Linear Relaxations.

[BibT_eX]

[DOI]

Mireille Ducassé

Proceedings of the ISSRE 2007, 2007

Boosting Probabilistic Choice Operators.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.

[BibT_eX]

[DOI]

Mireille Ducassé

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Symbolic execution of floating-point computations.

[BibT_eX]

[DOI]

Claude Michel

Softw. Test. Verification Reliab., 2006

A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs.

[BibT_eX]

[DOI]

Sandrine-Dominique Gouraud

Patrick Bernard

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Path-oriented random testing.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Random Testing, 2006

2005

Proving or Disproving likely Invariants with Constraint Reasoning.

[BibT_eX]

[DOI]

Mireille Ducassé

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Constraint-based test data generation in the presence of stack-directed pointers.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Goal-Oriented Test Data Generation for Programs with Pointer Variables.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Exploiting Symmetries to Test Programs.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Automated Metamorphic Testing.

[BibT_eX]

[DOI]