PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Khurshid, Sarfraz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level.

, , , , und . ISSRE, Seite 105-115. IEEE Computer Society, (2016)

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.

Hamza Khurshid University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Case for Automated Debugging Using Data Structure Repair., , , und . ASE, Seite 620-624. IEEE Computer Society, (2009)Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level., , , , und . ISSRE, Seite 105-115. IEEE Computer Society, (2016)An Automated Approach for Writing Alloy Specifications Using Instances., , und . ISoLA, Seite 449-457. IEEE, (2006)An Empirical Study of JUnit Test-Suite Reduction., , , und . ISSRE, Seite 170-179. IEEE Computer Society, (2011)Efficiently Running Test Suites Using Abstract Undo Operations., und . ISSRE, Seite 110-119. IEEE Computer Society, (2011)Systematic Testing of Database Engines Using a Relational Constraint Solver., und . ICST, Seite 50-59. IEEE Computer Society, (2011)Localizing failure-inducing program edits based on spectrum information., , und . ICSM, Seite 23-32. IEEE Computer Society, (2011)Kato: A Program Slicing Tool for Declarative Specifications., und . ICSE, Seite 767-770. IEEE Computer Society, (2007)Ranged Model Checking., , und . ACM SIGSOFT Software Engineering Notes, 37 (6): 1-5 (2012)Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems., , , und . IEEE Systems Journal, 11 (4): 2614-2627 (2017)