Darko Marinov and Sarfraz Khurshid - Free people check

(1 - 15 from 15

)

Prof. Sarfraz Khurshid and his co-authors Chandrasekhar ...

www.ece.utexas.edu

Prof. Sarfraz Khurshid and his co-authors Chandrasekhar Boyapati and Darko Marinov Receive the ACM SIGSOFT Impact Paper Award for UT ECE professor Sarfraz ...

FME 2002: Formal Methods - Getting IT Right: International Symposium...

books.google.de

22nd International Conference on Software Engineering (ICSE), pages 478–487, Limerick, Ireland, June Sarfraz Khurshid, Darko Marinov, and Daniel ...

Relational and Kleene-Algebraic Methods in Computer Science: 7th

books.google.de

Integrating Model Checking and Theorem Proving for Relational Reasoning Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, and Martin Rinard MIT ...

Abstract State Machines, Alloy, B, VDM, and Z: Third International...

books.google.de

... Canada Codronic GmbH, Augsburg, Germany Worcester Polytechnic Institute, USA Jeremy Jacob Sarfraz Khurshid (Chair) Daniel Le Berre Darko Marinov ...

Marcelo d'Amorim - Universidade Federal de Pernambuco

www.cin.ufpe.br

Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid and Don Batory. Faster Bug Detection for Software ...

CiteSeerX — An evaluation of exhaustive testing for data structures

citeseer.ist.psu.edu

BibTeX @TECHREPORT{Marinov03anevaluation, author = {Darko Marinov and Alexandr Andoni and Dumitru Daniliuc and Sarfraz Khurshid and Martin Rinard}, title = {An ...

Google Groups: CfPart SOQUA (co-located with ACM SIGSOFT FSE 14)

: ... USA) Sarfraz Khurshid (The University of Texas at Austin, USA) Fei-Ching Kuo

Google Groups: CfP 3rd Internat. Workshop on Software Quality Assurance - Deadlines

: ... USA) Sarfraz Khurshid (The University of Texas at Austin, USA) Darko Marinov

All web results to the name "Darko Marinov"

Software-artifact Infrastructure Repository: Home

sir.csc.ncsu.edu

Sarfraz Khurshid, University of Texas - Austin; Darko Marinov, University of Illinois, Urbana-Champaign; Gregg Rothermel, University of Nebraska - Lincoln

ACM SIGSOFT FSE-20 Keynote Speakers

www.sigsoft.org

Keynote Speakers Adam Lally, Lori A. Clarke and Chandrasekhar Boyapati, Sarfraz Khurshid and Darko Marinov

Lingming Zhang's Homepage

personal.utdallas.edu

Publications; Students; Teaching; Services; ... Darko Marinov, Lu Zhang, Sarfraz Khurshid Proceedings of the 22nd IEEE International Symposium on Software …

COPE - change oriented programming environment

cope.eecs.oregonstate.edu

ICSE'13, Temporal code completion and navigation. Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov. Proceedings of ICSE'13 NIER, ACM library ...

CS 272 Fall Home Page

sites.cs.ucsb.edu

"Korat: Automated Testing Based on Java Predicates" Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov. International Symposium on Software Testing ...

MulSaw Project Web Page

projects.csail.mit.edu

People. Project leader. Darko Marinov (advisor: Martin Rinard). Project co-founder. Sarfraz Khurshid (advisor: Daniel Jackson; Sarfraz joined the UT Austin ECE ...

Systematic Software Testing: The Korat Approach – Google AI

research.google

Authors. Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov. BibTeX. @inproceedings{40660, title = {Systematic Software Testing: The Korat Approach}, ...

Related search requests for Darko Marinov

Ivica Nikolic
Mauro Pezzè
Axel Legay

Carlos Pacheco

Person "Marinov" (1)
Forename "Darko" (1866)
Name "Marinov" (293)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Darko Marinov and Sarfraz Khurshid Free People Check