Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming., , and . CP, volume 4741 of Lecture Notes in Computer Science, page 241-255. Springer, (2007)FocalTest: A Constraint Programming Approach for Property-Based Testing., , and . ICSOFT (Selected Papers), volume 170 of Communications in Computer and Information Science, page 140-155. Springer, (2010)Constraint-based reachability, , and . Infinity, volume 107 of EPTCS, page 25-43. (2012)Time-aware Test Case Execution Scheduling for Cyber-Physical Systems., , , , and . CoRR, (2019)Focus section on quality software., , and . Softw. Pract. Exp., 45 (7): 873-874 (2015)Constraint-Based Testing: An Emerging Trend in Software Testing.. Advances in Computers, (2015)µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization., , , and . SERE, page 197-206. IEEE, (2012)Goal-oriented test data generation for pointer programs., , and . Inf. Softw. Technol., 49 (9-10): 1030-1044 (2007)Constraint Reasoning in FocalTest., , and . ICSOFT (2), page 82-91. SciTePress, (2010)Discovering Program Topoi via Hierarchical Agglomerative Clustering., , , and . IEEE Trans. Reliab., 67 (3): 758-770 (2018)