Travelled to:1 × Canada
1 × Czech Republic
1 × Japan
1 × Luxembourg
1 × The Netherlands
1 × United Kingdom
2 × Denmark
2 × Germany
2 × Italy
2 × Spain
3 × France
7 × USA
Collaborated with:B.Botella D.Marijan S.Sen M.Rueher M.Carlier A.Hervieu M.Mossige H.Meling C.Dubois B.Baudry ∅ S.Gouraud M.Petit R.Behjati S.Nejati L.C.Briand S.Wang S.Ali M.Liaaen N.Lazaar Y.Lebbah M.Delahaye T.Denmat G.Bécan M.Acher R.Abdallah L.Hélouët C.Jard R.Bagnara R.Gori S.D.Alesio O.Lhomme P.Taillibert T.Yue D.Buchmann D.Pradhan
Talks about:test (21) constraint (12) case (8) use (7) program (6) generat (6) data (6) industri (5) softwar (5) system (5)
Person: Arnaud Gotlieb
DBLP: Gotlieb:Arnaud
Contributed to:
2015
2014
20142014
2013
2013
2013
2013
20132013
2012
201220122012
2012201120102009
2006
2005
2004
200019981996Wrote 26 papers:
- SPLC-2015-BecanBGA #feature model #modelling #synthesis
- Synthesis of attributed feature models from product descriptions (GB, RB, AG, MA), pp. 1–10.
- ICTSS-2014-MossigeGM #case study #constraints #industrial #programming #testing #using
- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.
- ISSTA-2014-GotliebM #named #network #reduction #testing
- FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
- SPLC-2014-WangBAGPL #case study #industrial #multi #product line #testing
- Multi-objective test prioritization in software product line testing: an industrial case study (SW, DB, SA, AG, DP, ML), pp. 32–41.
- CAiSE-2013-SenG #case study #data-driven #interactive #testing
- Testing a Data-Intensive System with Generated Data Interactions — The Norwegian Customs and Excise Case Study (SS, AG), pp. 657–671.
- FASE-2013-AbdallahGHJ #constraints #optimisation
- Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.
- ICSM-2013-MarijanGS #case study #industrial #testing
- Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study (DM, AG, SS), pp. 540–543.
- ICST-2013-BagnaraCGG #float #generative #source code #testing
- Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
- ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using
- Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
- MoDELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using
- Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
- SPLC-2013-MarijanGSH #product line #testing
- Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
- ECMFA-2012-BehjatiNYGB #automation #embedded #modelling
- Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
- FM-2012-CarlierDG #constraints #finite #theorem proving
- A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
- ICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using
- Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
- ICST-2012-GotliebHB #constraints #programming #using
- Minimum Pairwise Coverage Using Constraint Programming Techniques (AG, AH, BB), pp. 773–774.
- ICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability
- Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
- TAP-2012-CarlierDG #constraints #design #testing
- A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
- ICST-2011-LazaarGL #automation #constraints #framework #source code
- A Framework for the Automatic Correction of Constraint Programs (NL, AG, YL), pp. 319–326.
- ICST-2010-DelahayeBG
- Explanation-Based Generalization of Infeasible Path (MD, BB, AG), pp. 215–224.
- ICST-2009-Gotlieb #c #constraints #framework #named #source code #testing
- Euclide: A Constraint-Based Testing Framework for Critical C Programs (AG), pp. 151–160.
- PADL-2006-GouraudG #functional #java #testing #using #virtual machine
- Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
- ASE-2005-GotliebDB #constraints #generative #pointer #testing
- Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.
- ICLP-2004-PetitG #constraints #probability #statistics #testing
- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing (MP, AG), pp. 471–472.
- CL-2000-GotliebBR #framework #testing
- A CLP Framework for Computing Structural Test Data (AG, BB, MR), pp. 399–413.
- ISSTA-1998-GotliebBR #automation #constraints #generative #testing #theorem proving #using
- Automatic Test Data Generation Using Constraint Solving Techniques (AG, BB, MR), pp. 53–62.
- JICSLP-1996-LhommeGRT #algorithm
- Boosting the Interval Narrowing Algorithm (OL, AG, MR, PT), pp. 378–392.