Author of the publication

Graph Methods for Generating Test Cases with Universal and Existential Constraints.

, , and . ICTSS, volume 9447 of Lecture Notes in Computer Science, page 55-70. Springer, (2015)

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

Runtime Monitoring of Temporal Logic Properties in a Platform Game., , , , and . RV, volume 8174 of Lecture Notes in Computer Science, page 346-351. Springer, (2013)A Case for "Piggyback" Runtime Monitoring., and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 295-311. Springer, (2012)Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.. WS-FM, volume 6551 of Lecture Notes in Computer Science, page 42-55. Springer, (2010)Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes., , , and . GOODTECHS, page 43-48. ACM, (2019)A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition., , , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 1052-1056. IEEE, (2018)MapReduce for parallel trace validation of LTL properties., and . J. Cloud Comput., (2015)Open Source Software Development Process: A Systematic Review., , and . EDOC, page 135-144. IEEE, (2020)Decentralized enforcement of document lifecycle constraints., , , , and . Inf. Syst., 74 (Part): 117-135 (2018)Automated exploration and analysis of ajax web applications with WebMole., , and . WWW (Companion Volume), page 245-248. International World Wide Web Conferences Steering Committee / ACM, (2013)Self-configuration of Network Devices with Configuration Logic., , , and . Autonomic Networking, volume 4195 of Lecture Notes in Computer Science, page 36-49. Springer, (2006)