Author of the publication

Boosting Probabilistic Choice Operators.

, and . CP, volume 4741 of Lecture Notes in Computer Science, page 559-573. Springer, (2007)

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

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)Goal-oriented test data generation for pointer programs., , and . Inf. Softw. Technol., 49 (9-10): 1030-1044 (2007)Focus section on quality software., , and . Softw. Pract. Exp., 45 (7): 873-874 (2015)Discovering Program Topoi via Hierarchical Agglomerative Clustering., , , and . IEEE Trans. Reliab., 67 (3): 758-770 (2018)µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization., , , and . SERE, page 197-206. IEEE, (2012)Constraint-Based Testing: An Emerging Trend in Software Testing.. Advances in Computers, (2015)Constraint-based reachability, , and . Infinity, volume 107 of EPTCS, page 25-43. (2012)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)Time-aware Test Case Execution Scheduling for Cyber-Physical Systems., , , , and . CoRR, (2019)Constraint Reasoning in FocalTest., , and . ICSOFT (2), page 82-91. SciTePress, (2010)