Arnaud Gotlieb
Simula Research Laboratory(NO)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Software Reliability and Analysis Research, Software Engineering Research, Advanced Software Engineering Methodologies
Most-Cited Works
- → Reinforcement learning for automatic test case prioritization and selection in continuous integration(2017)253 cited
- → Automatic test data generation using constraint solving techniques(1998)229 cited
- → Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study(2013)154 cited
- → Minimizing test suites in software product lines using weight-based genetic algorithms(2013)105 cited
- → Cost-effective test suite minimization in product lines using search techniques(2014)97 cited
- → A CLP Framework for Computing Structural Test Data(2000)93 cited
- → Automated metamorphic testing(2004)93 cited
- → Symbolic execution of floating‐point computations(2005)77 cited
- → Practical pairwise testing for software product lines(2013)70 cited
- → Multi-objective test prioritization in software product line testing(2014)67 cited