Publications
Found 9 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
2013
Refereed Proceedings
S. Wang,
S. Ali,
and
A. Gotlieb.
Minimizing Test Suites in Software Product Lines Using Weight-based Genetic Algorithms,
In: Gentic and Evolutionary Computation Conference (GECCO), ed. by ACM, ACM,
2013.
Technical Reports
S. Wang,
S. Ali,
and
A. Gotlieb.
Automated Search-Based Test Suite Minimization in Product Lines: An Empirical Study ,
Simula Research Laboratory, Technical Report(2012-28),
2013.
S. Wang,
S. Ali,
and
A. Gotlieb.
Minimizing Test Suites in Software Product Lines Using Weight-based Genetic Algorithms,
Simula Research Laboratory,
2013.
S. Wang,
A. Gotlieb,
S. Ali,
and
M. Liaaen.
Automated Test Case Selection using Feature Model: An Industrial Case Study,
Simula Research Laboratory, Technical Report(2012-20),
2013.
2012
Articles in International Journals
N. Lazaar, A. Gotlieb, and Y. Lebbah. A CP Framework For Testing CP, Constraints, 17(2):123-147, 2012.
Refereed Proceedings
S. Bardin and A. Gotlieb. FDCC: A combined approach for solving constraints over Finite Domains and Arrays, In: Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France, ed. by Beldiceanu, Nicolas; Jussien, Narendra; Pinson, Éric, pp. 17-33, Springer Berlin Heidelberg, 2012.
R. Behjati,
S. Nejati,
T. Yue,
A. Gotlieb,
and
L. Briand.
Model-Based Automated and Guided Configuration of Embedded Software Systems,
In: ECMFA 2012, ed. by Vallecillo, Antonio; Tolvanen, Juha-Pekka; Kindler, Ekkart; Störrle, Harald; Kolovos, Dimitris, vol. 7349, pp. 226-243, Springer Berlin Heidelberg,
2012.
S. Di Alesio,
A. Gotlieb,
S. Nejati,
and
L. Briand.
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques,
In: Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), ed. by , pp. 764-769,
2012.
Technical Reports
R. Behjati,
S. Nejati,
A. Gotlieb,
T. Yue,
and
L. Briand.
Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction over Finite Domains,
Simula Research Laboratory, Technical Report (2012-05),
2012.
S. Wang, A. Gotlieb, L. Marius, and L. Briand. Automatic derivation of test execution plans from a Video Conferencing System Product Line modelling, Simula Research Laboratory, Technical Report(2012-02), 2012.
Workshops
A. Gotlieb,
A. Hervieu,
and
B. Baudry.
Minimum pairwise coverage using constraint programming techniques,
Miscellaneous publication, Proc. of CSTVA'2012, an IEEE ICST workshop,
2012.
S. Wang,
A. Gotlieb,
M. Liaaen,
and
L. Briand.
Automatic selection of test execution plans from a Video Conferencing System Product Line,
In Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone (VARY 2012), pp: 32-37 ,
2012.
2011
Refereed Proceedings
M. Carlier
and
A. Gotlieb.
Filtering by ULP maximum,
In: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011), Nov. 7-9, 2011, Boca Raton, Florida, USA, ed. by IEEE, IEEE,
2011.
A. Hervieu,
B. Baudry,
and
A. Gotlieb.
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models,
In: Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE 2011), ed. by Bojan Cukic, IEEE Computer Society (ISBN: 978-0-7695-4568-4),
2011.
