Autor der Publikation

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

, , und . ICTSS, Volume 9447 von Lecture Notes in Computer Science, Seite 55-70. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Self-configuration of Network Devices with Configuration Logic., , , und . Autonomic Networking, Volume 4195 von Lecture Notes in Computer Science, Seite 36-49. Springer, (2006)Efficient Generation of Test Data with Extended Cardinality Constraints., und . QRS, Seite 386-393. IEEE, (2019)Decentralized enforcement of document lifecycle constraints., , , , und . Inf. Syst., 74 (Part): 117-135 (2018)Automated exploration and analysis of ajax web applications with WebMole., , und . WWW (Companion Volume), Seite 245-248. International World Wide Web Conferences Steering Committee / ACM, (2013)Predictive Analytics for Event Stream Processing., , , und . EDOC, Seite 171-182. IEEE, (2019)MapReduce for parallel trace validation of LTL properties., und . J. Cloud Comput., (2015)Structural Profiling of Web Sites in the Wild., und . ICWE, Volume 12128 von Lecture Notes in Computer Science, Seite 27-34. Springer, (2020)Detecting Responsive Web Design Bugs with Declarative Specifications., , und . ICWE, Volume 12128 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2020)Open Source Software Development Process: A Systematic Review., , und . EDOC, Seite 135-144. IEEE, (2020)Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.. WS-FM, Volume 6551 von Lecture Notes in Computer Science, Seite 42-55. Springer, (2010)