default search action
Arnaud Gotlieb
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j29]Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
, Helge Spieker:
Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. 79: 241-271 (2024) - [j28]Luc Lesoil, Helge Spieker, Arnaud Gotlieb, Mathieu Acher, Paul Temple, Arnaud Blouin, Jean-Marc Jézéquel:
Learning input-aware performance models of configurable systems: An empirical evaluation. J. Syst. Softw. 208: 111883 (2024) - [j27]Pierre Bernabé
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. IEEE Trans. Intell. Transp. Syst. 25(2): 1166-1177 (2024) - [c93]Quentin Mazouni
Testing for Fault Diversity in Reinforcement Learning. AST@ICSE 2024: 136-146 - [c92]Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch:
Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. ICAART (3) 2024: 898-905 - [c91]Quentin Mazouni
Policy Testing with MDPFuzz (Replicability Study). ISSTA 2024: 1567-1578 - [i29]Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR abs/2403.09668 (2024) - [i28]Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher:
Testing for Fault Diversity in Reinforcement Learning. CoRR abs/2403.15065 (2024) - [i27]Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR abs/2403.16908 (2024) - [i26]Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch:
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods. CoRR abs/2403.18731 (2024) - [i25]Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar:
Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR abs/2407.18756 (2024) - [i24]Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch, Mohamed Elmansori:
Efficient Milling Quality Prediction with Explainable Machine Learning. CoRR abs/2409.10203 (2024) - 2023
- [c90]Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar
Active Disjunctive Constraint Acquisition. KR 2023: 512-520 - [c89]Arnaud Gotlieb, Morten Mossige, Helge Spieker:
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. SAFECOMP 2023: 64-72 - [i23]Arnaud Gotlieb, Morten Mossige, Helge Spieker:
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. CoRR abs/2306.01529 (2023) - [i22]Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR abs/2308.12755 (2023) - [i21]Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker:
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. CoRR abs/2310.15586 (2023) - [i20]Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher:
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. CoRR abs/2312.09680 (2023) - 2022
- [c88]Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
GEQCA: Generic Qualitative Constraint Acquisition. AAAI 2022: 3690-3697 - [c87]Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. ICST Workshops 2022: 130-137 - [c86]Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb:
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI 2022: 1873-1879 - [i19]Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker:
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. CoRR abs/2202.12139 (2022) - [i18]Dusica Marijan, Arnaud Gotlieb:
Industry-Academia Research Collaboration in Software Engineering: The Certus Model. CoRR abs/2204.11039 (2022) - [i17]Dusica Marijan, Arnaud Gotlieb:
Software Testing for Machine Learning. CoRR abs/2205.00210 (2022) - [i16]Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR abs/2208.12747 (2022) - 2021
- [j26]Dusica Marijan, Arnaud Gotlieb:
Industry-Academia research collaboration in software engineering: The Certus model. Inf. Softw. Technol. 132: 106473 (2021) - [c85]Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb:
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). AAAI 2021: 15757-15758 - [c84]Helge Spieker, Arnaud Gotlieb:
Summary of: Adaptive Metamorphic Testing with Contextual Bandits. ICST 2021: 275-277 - [c83]Helge Spieker, Arnaud Gotlieb:
Learning to Generate Fault-revealing Test Cases in Metamorphic Testing. Software Engineering 2021: 99-100 - [i15]Helge Spieker, Arnaud Gotlieb:
Predictive Machine Learning of Objective Boundaries for Solving COPs. CoRR abs/2111.03160 (2021) - [i14]Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar:
Solve Optimization Problems with Unknown Constraint Networks. CoRR abs/2111.11871 (2021) - 2020
- [j25]Arnaud Gotlieb
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators. Int. J. Artif. Intell. Tools 29(03n04): 2060006:1-2060006:23 (2020) - [j24]Helge Spieker
Adaptive metamorphic testing with contextual bandits. J. Syst. Softw. 165: 110574 (2020) - [c82]Dusica Marijan, Arnaud Gotlieb:
Software Testing for Machine Learning. AAAI 2020: 13576-13582 - [c81]Dusica Marijan, Arnaud Gotlieb, Abhijeet Sapkota:
Neural Network Classification for Improving Continuous Regression Testing. AITest 2020: 123-124 - [c80]Mathieu Collet, Arnaud Gotlieb
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP 2020: 707-723 - [c79]Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker:
Opening the software engineering toolbox for the assessment of trustworthy AI. NeHuAI@ECAI 2020: 67-70 - [c78]Dusica Marijan, Arnaud Gotlieb:
Lessons Learned on Research Co-Creation: Making Industry-Academia Collaboration Work. SEAA 2020: 272-275 - [c77]Helge Spieker, Arnaud Gotlieb:
Learning Objective Boundaries for Constraint Optimization Problems. LOD (2) 2020: 394-408 - [i13]Helge Spieker, Arnaud Gotlieb:
Learning Objective Boundaries for Constraint Optimization Problems. CoRR abs/2006.11560 (2020) - [i12]Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI. CoRR abs/2007.07768 (2020)
2010 – 2019
- 2019
- [j23]Dusica Marijan
A learning algorithm for optimizing continuous integration development and testing practice. Softw. Pract. Exp. 49(2): 192-213 (2019) - [c76]Helge Spieker
Rotational Diversity in Multi-Cycle Assignment Problems. AAAI 2019: 7724-7731 - [c75]Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Deploying Smart Program Understanding on a Large Code Base. AITest 2019: 73-80 - [c74]Dusica Marijan, Arnaud Gotlieb, Mohit Kumar Ahuja:
Challenges of Testing Machine Learning Based Systems. AITest 2019: 101-102 - [c73]Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest 2019: 121-128 - [c72]Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM 2019: 121-122 - [i11]Helge Spieker, Arnaud Gotlieb:
Towards Testing of Deep Learning Systems with Training Set Reduction. CoRR abs/1901.04169 (2019) - [i10]Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR abs/1902.04627 (2019) - [i9]Helge Spieker, Arnaud Gotlieb:
Adaptive Metamorphic Testing with Contextual Bandits. CoRR abs/1910.00262 (2019) - 2018
- [j22]Sagar Sen
Certus: an organizational effort towards research-based innovation in software verification and validation. Int. J. Syst. Assur. Eng. Manag. 9(2): 313-322 (2018) - [j21]Carlo Ieva
Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Trans. Reliab. 67(3): 758-770 (2018) - [c71]Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar:
Discovering Program Topoi Through Clustering. AAAI 2018: 7771-7778 - [c70]Helge Spieker, Arnaud Gotlieb, Morten Mossige:
Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. AAAI 2018: 8161-8162 - [c69]Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Stratified Constructive Disjunction and Negation in Constraint Programming. ICTAI 2018: 106-113 - [c68]Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige:
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. Software Engineering 2018: 75-76 - [i8]Helge Spieker, Arnaud Gotlieb, Morten Mossige:
Rotational Diversity in Multi-Cycle Assignment Problems. CoRR abs/1811.03496 (2018) - [i7]Arnaud Gotlieb, Dusica Marijan, Helge Spieker:
Stratified Constructive Disjunction and Negation in Constraint Programming. CoRR abs/1811.03906 (2018) - [i6]Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige:
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. CoRR abs/1811.04122 (2018) - 2017
- [j20]Arnaud Gotlieb, Dusica Marijan:
Using Global Constraints to Automate Regression Testing. AI Mag. 38(1): 73-87 (2017) - [j19]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Deploying Constraint Programming for Testing ABB's Painting Robots. AI Mag. 38(2): 94-96 (2017) - [j18]Shuai Wang, Shaukat Ali
Automated product line test case selection: industrial case study and controlled experiment. Softw. Syst. Model. 16(2): 417-441 (2017) - [c67]Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, Roberta Gori:
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. AAAI 2017: 4678-4685 - [c66]Morten Mossige, Arnaud Gotlieb, Helge Spieker
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP 2017: 387-404 - [c65]Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen
TITAN: Test Suite Optimization for Highly Configurable Software. ICST 2017: 524-531 - [c64]Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb:
Efficient and Complete FD-solving for extended array constraints. IJCAI 2017: 1231-1238 - [c63]Helge Spieker
Reinforcement learning for automatic test case prioritization and selection in continuous integration. ISSTA 2017: 12-22 - 2016
- [j17]Shuai Wang, Shaukat Ali
A systematic test case selection methodology for product lines: results and insights from an industrial case study. Empir. Softw. Eng. 21(4): 1586-1622 (2016) - [j16]Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. 28(1): 31-46 (2016) - [j15]Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry:
Practical minimization of pairwise-covering test configurations using constraint programming. Inf. Softw. Technol. 71: 129-146 (2016) - [c62]Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon:
Automated Regression Testing Using Constraint Programming. AAAI 2016: 4010-4015 - [c61]Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon:
A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. ICSOFT-EA 2016: 48-58 - [c60]Mats Carlsson, Arnaud Gotlieb, Dusica Marijan:
Software Product Line Test Suite Reduction with Constraint Optimization. ICSOFT (Selected Papers) 2016: 68-87 - [c59]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Generating Tests for Robotized Painting Using Constraint Programming. IJCAI 2016: 4200-4204 - 2015
- [j14]Arnaud Gotlieb:
Constraint-Based Testing: An Emerging Trend in Software Testing. Adv. Comput. 99: 67-101 (2015) - [j13]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Testing robot controllers using constraint programming and continuous integration. Inf. Softw. Technol. 57: 169-185 (2015) - [j12]Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb:
Infeasible path generalization in dynamic symbolic execution. Inf. Softw. Technol. 58: 403-418 (2015) - [j11]Shuai Wang, Shaukat Ali
Cost-effective test suite minimization in product lines using search techniques. J. Syst. Softw. 103: 370-391 (2015) - [j10]T. H. Tse
Focus section on quality software. Softw. Pract. Exp. 45(7): 873-874 (2015) - [j9]Stefano Di Alesio, Lionel C. Briand, Shiva Nejati
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. 25(1): 4:1-4:37 (2015) - [c58]Arnaud Gotlieb, Dusica Marijan, Sagar Sen
Towards More Relational Feature Models. ICSOFT-EA 2015: 381-386 - [c57]Guillaume Bécan, Razieh Behjati
Synthesis of attributed feature models from product descriptions. SPLC 2015: 1-10 - [i5]Guillaume Bécan, Razieh Behjati
Synthesis of Attributed Feature Models From Product Descriptions: Foundations. CoRR abs/1502.04645 (2015) - 2014
- [c56]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. CP 2014: 25-41 - [c55]Stefano Di Alesio, Shiva Nejati
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. CP 2014: 813-830 - [c54]Arnaud Gotlieb, Dusica Marijan:
FLOWER: optimal test suite reduction as a network maximum flow. ISSTA 2014: 171-180 - [c53]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. ICTSS 2014: 145-160 - [c52]Shuai Wang, David Buchmann, Shaukat Ali
Multi-objective test prioritization in software product line testing: an industrial case study. SPLC 2014: 32-41 - [c51]Shuai Wang, Shaukat Ali, Arnaud Gotlieb:
Random-Weighted Search-Based Multi-objective Optimization Revisited. SSBSE 2014: 199-214 - 2013
- [c50]Sagar Sen
Testing a Data-Intensive System with Generated Data Interactions - The Norwegian Customs and Excise Case Study. CAiSE 2013: 657-671 - [c49]Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard:
Scenario Realizability with Constraint Optimization. FASE 2013: 194-209 - [c48]Shuai Wang, Shaukat Ali
Minimizing test suites in software product lines using weight-based genetic algorithms. GECCO 2013: 1493-1500 - [c47]Dusica Marijan, Arnaud Gotlieb, Sagar Sen
Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study. ICSM 2013: 540-543 - [c46]Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST 2013: 1-10 - [c45]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. ICST 2013: 489-490 - [c44]Stefano Di Alesio, Shiva Nejati
Stress testing of task deadlines: A constraint programming approach. ISSRE 2013: 158-167 - [c43]Shuai Wang, Shaukat Ali, Arnaud Gotlieb:
Automated Product Line Methodologies to Support Model-Based Testing. MoDELS (Demos/Posters/StudentResearch) 2013: 56-60 - [c42]Shuai Wang, Arnaud Gotlieb, Shaukat Ali
Automated Test Case Selection Using Feature Model: An Industrial Case Study. MoDELS 2013: 237-253 - [c41]Sagar Sen
Modelling data interaction requirements: A position paper. MoDRE 2013: 50-54 - [c40]Dusica Marijan, Arnaud Gotlieb, Sagar Sen
Practical pairwise testing for software product lines. SPLC 2013: 227-235 - [i4]Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb:
Filtering Floating-Point Constraints by Maximum ULP. CoRR abs/1308.3847 (2013) - [i3]Sébastien Bardin, Arnaud Gotlieb:
A Combined Approach for Constraints over Finite Domains and Arrays. CoRR abs/1312.0200 (2013) - 2012
- [j8]Nadjib Lazaar
A CP framework for testing CP. Constraints An Int. J. 17(2): 123-147 (2012) - [j7]Arnaud Gotlieb:
TCAS software verification using constraint programming. Knowl. Eng. Rev. 27(3): 343-360 (2012) - [c39]Sébastien Bardin, Arnaud Gotlieb:
fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. CPAIOR 2012: 17-33 - [c38]Razieh Behjati
Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA 2012: 226-243 - [c37]Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
A Certified Constraint Solver over Finite Domains. FM 2012: 116-131 - [c36]Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. ICST 2012: 764-769 - [c35]Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry:
Minimum Pairwise Coverage Using Constraint Programming Techniques. ICST 2012: 773-774 - [c34]Shuai Wang, Arnaud Gotlieb, Marius Liaaen, Lionel C. Briand:
Automatic selection of test execution plans from a video conferencing system product line. VARY@MoDELS 2012: 32-37 - [c33]Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb:
Managing Execution Environment Variability during Software Testing: An Industrial Experience. ICTSS 2012: 24-38 - [c32]Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit:
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. SERE 2012: 197-206 - [c31]Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP@TOOLS 2012: 35-50 - [c30]Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar:
Constraint-based reachability. Infinity 2012: 25-43 - 2011
- [b1]Arnaud Gotlieb:
Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing). European University of Brittany, Rennes, France, 2011 - [c29]Nadjib Lazaar
A Framework for the Automatic Correction of Constraint Programs. ICST 2011: 319-326 - [c28]Matthieu Carlier, Arnaud Gotlieb:
Filtering by ULP Maximum. ICTAI 2011: 209-214 - [c27]Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb:
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. ISSRE 2011: 120-129 - 2010
- [j6]Arnaud Gotlieb, Matthieu Petit:
A uniform random test data generator for path testing. J. Syst. Softw. 83(12): 2618-2626 (2010) - [c26]Nadjib Lazaar
On Testing Constraint Programs. CP 2010: 330-344 - [c25]Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
Constraint Reasoning in FocalTest. ICSOFT (2) 2010: 82-91 - [c24]Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb:
FocalTest: A Constraint Programming Approach for Property-Based Testing. ICSOFT (Selected Papers) 2010: 140-155 - [c23]Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb:
Explanation-Based Generalization of Infeasible Path. ICST 2010: 215-224 - [c22]Nadjib Lazaar
Fault Localization in Constraint Programs. ICTAI (1) 2010: 61-67 - [c21]Florence Charreteur, Arnaud Gotlieb:
Constraint-Based Test Input Generation for Java Bytecode. ISSRE 2010: 131-140 - [i2]Nadjib Lazaar
On Testing Constraint Programs. CoRR abs/1005.2882 (2010)
2000 – 2009
- 2009
- [j5]Florence Charreteur, Bernard Botella, Arnaud Gotlieb:
Modelling dynamic memory management in constraint-based testing. J. Syst. Softw. 82(11): 1755-1766 (2009) - [c20]Arnaud Gotlieb, Matthieu Petit:
Towards a Theory for Testing Non-terminating Programs. COMPSAC (1) 2009: 160-165 - [c19]Arnaud Gotlieb:
Euclide: A Constraint-Based Testing Framework for Critical C Programs. ICST 2009: 151-160 - 2008
- [c18]Arnaud Gotlieb, Matthieu Petit:
Constraint Reasoning in Path-Oriented Random Testing. COMPSAC 2008: 168-171 - [c17]Arnaud Gotlieb, Nadjib Lazaar
Towards Constraing-Based Local Search for Automatic Test Data Generation. ICST Workshops 2008: 195 - 2007
- [j4]Arnaud Gotlieb, Tristan Denmat, Bernard Botella:
Goal-oriented test data generation for pointer programs. Inf. Softw. Technol. 49(9-10): 1030-1044 (2007) - [c16]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255 - [c15]Matthieu Petit, Arnaud Gotlieb:
Boosting Probabilistic Choice Operators. CP 2007: 559-573 - [c14]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190 - [c13]Matthieu Petit, Arnaud Gotlieb:
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. QSIC 2007: 280-285 - 2006
- [j3]Bernard Botella, Arnaud Gotlieb, Claude Michel:
Symbolic execution of floating-point computations. Softw. Test. Verification Reliab. 16(2): 97-121 (2006) - [c12]Arnaud Gotlieb, Matthieu Petit:
Path-oriented random testing. Random Testing 2006: 28-35 - [c11]Sandrine-Dominique Gouraud, Arnaud Gotlieb:
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. PADL 2006: 1-15 - [c10]Arnaud Gotlieb, Patrick Bernard:
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. QSIC 2006: 329-336 - 2005
- [c9]Arnaud Gotlieb, Tristan Denmat, Bernard Botella:
Goal-Oriented Test Data Generation for Programs with Pointer Variables. COMPSAC (1) 2005: 449-454 - [c8]Arnaud Gotlieb, Tristan Denmat, Bernard Botella:
Constraint-based test data generation in the presence of stack-directed pointers. ASE 2005: 313-316 - [c7]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13 - [i1]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. CoRR abs/cs/0508108 (2005) - 2004
- [c6]Matthieu Petit, Arnaud Gotlieb:
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. ICLP 2004: 471-472 - 2003
- [c5]Arnaud Gotlieb, Bernard Botella:
Automated Metamorphic Testing. COMPSAC 2003: 34-40 - [c4]Arnaud Gotlieb:
Exploiting Symmetries to Test Programs. ISSRE 2003: 365-374 - 2002
- [j2]Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert:
Utilisation des contraintes pour la génération automatique de cas de test structurels. Tech. Sci. Informatiques 21(9): 1163-1187 (2002) - 2000
- [c3]Arnaud Gotlieb, Bernard Botella, Michel Rueher:
A CLP Framework for Computing Structural Test Data. Computational Logic 2000: 399-413
1990 – 1999
- 1998
- [j1]Olivier Lhomme, Arnaud Gotlieb, Michel Rueher:
Dynamic Optimization of Interval Narrowing Algorithms. J. Log. Program. 37(1-3): 165-183 (1998) - [c2]Arnaud Gotlieb, Bernard Botella, Michel Rueher:
Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA 1998: 53-62 - 1996
- [c1]Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert:
Boosting the Interval Narrowing Algorithm. JICSLP 1996: 378-392
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: