Lionel C. Briand
- Practical Constraint Solving for Generating System Test Data
2019/02/28 by Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand · 34 citations
Computer Science · #Constraint (computer-aided design) #Formal Methods in Verification #Metaheuristic #Model-Driven Software Engineering Techniques #Rotation formalisms in three dimensions #Satisfiability #Satisfiability modulo theories #Scalability #Software #Software Testing and Debugging Techniques #Test case #Test data #cs.SE