Publications of Rupak Majumdar
people.mpi-sws.org
Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, and Darko Marinov. Regression Test Selection for Distributed Software Histories, CAV
Optimizing Generationof Object Graph r Milos Gligoric ...
javapathfinder.sourceforge.net
Optimizing Generation of Object Graphs in Java PathFinder Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid JPF Workshop
CiteSeerX — On Delayed Choice Execution for Falsification
citeseerx.ist.psu.edu
author = {Milos Gligoric and Tihomir Gvero and Sarfraz Khurshid and Viktor Kuncak and Darko Marinov}, title = {On Delayed Choice Execution for Falsification},
CONCURRIT: Testing Concurrent Programs with Par Lab
parlab.eecs.berkeley.edu
[10] Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou. Luo, Grigore Rosu, and Darko Marinov. Improved mul- tithreaded unit testing. In Proceedings of the ...
Test-Suite Beurteilung
www.inf.fu-berlin.de
Test Suites using. Coverage Criteria. Milos Gligoric, Alex Groce, Chaoqiang. Zhang, Rohan Sharma, Mohammad. Amin Alipour, Darko Marinov.
Research Session 1: Handling models
icst2012.soccerlab.polymtl.ca
Milos Gligoric, Peter C. Mehlitz and Darko Marinov. Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs
CSTVA nd Workshop on Constraints in Software Testing,...
www.st.cs.uni-saarland.de
Rohan Sharma, Milos Gligoric, Vilas Jagannath and Darko Marinov. A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
All web results to the name "Milos Gligoric"
NSF Award Search: Award# SHF: Small: IMUnit: Improved...
www.nsf.gov
Samira Tasharofi, Milos Gligoric, Darko Marinov, Ralph Johnson. "Setac: A ... Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, and Darko Marinov.
CiteSeerX — Active Bibliography: PKorat: Parallel Generation of...
citeseer.uark.edu
1, On Test Generation through Programming in UDITA – Milos Gligoric, Sarfraz Khurshid, Tihomir Gvero, Viktor Kuncak, Vilas Jagannath, Darko Marinov.
Darko Marinov's Students
mir.cs.illinois.edu
Milos Gligoric); Corbin Souffrant (REU Fall 2013; worked with Rohan Sharma) ...
CS 272 Fall Home Page
sites.cs.ucsb.edu
Test Generation through Programming in UDITA Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov.
FSE Program | FSE 2014
fse22.gatech.edu
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) Preprint. Verifying CTL-Live ...
NSF Award Search: Award# CAREER: Systematic Software...
www.nsf.gov
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov. "IMUnit: Improved Multithreaded Unit Testing," International ...
Onward! 2013
onward-conference.org
Milos Gligoric, Universtiy of Illinois Urbana Champaign, USA. Darko Marinov, Universtiy of Illinois Urbana Champaign, USA. What's Wrong with Git?
Lingming Zhang's Homepage
personal.utdallas.edu
Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid Proceedings of the 28th IEEE/ACM Conference on Automated Software Engineering
CiteSeerX — Setac: A Framework for Phased Deterministic Testing of...
citeseerx.ist.psu.edu
by Samira Tasharofi , Milos Gligoric , Darko Marinov , Ralph Johnson ... author = {Samira Tasharofi and Milos Gligoric and Darko Marinov and Ralph Johnson},
OSU Software Testing and Analysis Group
web.engr.oregonstate.edu
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov. "Guidelines for Coverage-Based Comparisons of ...
Viktor Kuncak: Publications and manuscripts :...
lara.epfl.ch
On Delayed Choice Execution for Falsification paper pdf Citation Milos Gligoric, Tihomir Gvero, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov.
Technical papers | ESEC/FSE 2011
2011.esec-fse.org
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu and Darko Marinov. Improved Multithreaded Unit Testing; Yuriy Brun, Reid Holmes, Michael Ernst and
Related search requests for Milos Gligoric
Rohan Sharma Darko Marinov |
Person "Gligoric" (2) Forename "Milos" (1597) Name "Gligoric" (77) |
sorted by relevance / date