BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gotlieb:Arnaud

Contributed to:

SPLC 20152015
ICTSS 20142014
ISSTA 20142014
SPLC 20142014
CAiSE 20132013
FASE 20132013
ICSM 20132013
ICST 20132013
MoDELS 20132013
SPLC 20132013
ECMFA 20122012
FM 20122012
ICST 20122012
ICTSS 20122012
TAP 20122012
ICST 20112011
ICST 20102010
ICST 20092009
PADL 20062006
ASE 20052005
ICLP 20042004
CL 20002000
ISSTA 19981998
JICSLP 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.