Search results for "Darko Marinov"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens	@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies	CoRR	2012	DBLP BibTeX RDF
1	Vilas Jagannath, Qingzhou Luo, Darko Marinov	Change-aware preemption prioritization.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Milos Gligoric, Darko Marinov, Sam Kamin	CoDeSe: fast deserialization via code generation.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid	TestEra: A tool for testing Java programs using alloy specifications.	ASE	2011	DBLP DOI BibTeX RDF
1	Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov	Testing Container Classes: Random or Systematic?	FASE	2011	DBLP DOI BibTeX RDF
1	Lingming Zhang, Darko Marinov, Lu Zhang 0023, Sarfraz Khurshid	An Empirical Study of JUnit Test-Suite Reduction.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov	ReAssert: a tool for repairing broken unit tests.	ICSE	2011	DBLP DOI BibTeX RDF
1	Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov	Improved multithreaded unit testing.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	Assertion Checking in J-Sim Simulation Models of Network Protocols.	Simulation	2010	DBLP DOI BibTeX RDF
1	Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov	A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha	Mutation Operators for Actor Systems.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Milos Gligoric, Vilas Jagannath, Darko Marinov	MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.	ICST	2010	DBLP DOI BibTeX RDF	multithreaded code, efficient exploration, mutant execution, mutation testing
1	Brett Daniel, Tihomir Gvero, Darko Marinov	On test repair using symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	pex, reassert, symbolic test repair, test repair, symbolic execution
1	Adrian Nistor, Darko Marinov, Josep Torrellas	InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing.	MICRO	2010	DBLP DOI BibTeX RDF
1	Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha	Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.	FASE	2010	DBLP DOI BibTeX RDF
1	Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov	Test generation through programming in UDITA.	ICSE	2010	DBLP DOI BibTeX RDF	Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder
1	Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha	Basset: a tool for systematic testing of actor programs.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid	Optimizing Generation of Object Graphs in Java PathFinder.	ICST	2009	DBLP DOI BibTeX RDF
1	Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid	Optimizing a Structural Constraint Solver for Efficient Software Checking.	ASE	2009	DBLP DOI BibTeX RDF	Software Testing, Bounded Exhaustive Testing
1	Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha	A Framework for State-Space Exploration of Java-Based Actor Programs.	ASE	2009	DBLP DOI BibTeX RDF
1	Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov	ReAssert: Suggesting Repairs for Broken Unit Tests.	ASE	2009	DBLP DOI BibTeX RDF	Software test maintenance, Software testing, Software maintenance, Software tools
1	Adrian Nistor, Darko Marinov, Josep Torrellas	Light64: lightweight hardware support for data race detection during systematic testing of parallel programs.	MICRO	2009	DBLP DOI BibTeX RDF	execution history hash, data race, systematic testing
1	Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov	Reducing the Costs of Bounded-Exhaustive Testing.	FASE	2009	DBLP DOI BibTeX RDF
1	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
1	Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid	Efficient solving of structural constraints.	ISSTA	2008	DBLP DOI BibTeX RDF	model checking, backtracking, systematic testing
1	Darko Marinov, Wolfram Schulte	Workshop on state-space exploration for automated testing (SSEAT 2008).	ISSTA	2008	DBLP DOI BibTeX RDF	random exploration, genetic algorithms, model checking, symbolic execution, automated testing, constraint solving, state-space exploration
1	Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
1	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan	Incremental state-space exploration for programs with dynamically allocated data.	ICSE	2008	DBLP DOI BibTeX RDF	jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
1	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta execution for efficient state-space exploration of object-oriented programs.	ISSTA	2007	DBLP DOI BibTeX RDF	delta execution, model checking
1	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov	Automated Testing of Eclipse and NetBeans Refactoring Tools.	WRT	2007	DBLP BibTeX RDF
1	Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov	Towards a Framework for Differential Unit Testing of Object-Oriented Programs.	AST	2007	DBLP DOI BibTeX RDF
1	Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid	Korat: A Tool for Generating Structurally Complex Test Inputs.	ICSE	2007	DBLP DOI BibTeX RDF
1	Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov	Parallel test generation and execution with Korat.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	Korat, test data generation, parallel testing, bounded-exhaustive testing
1	Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov	Automated testing of refactoring engines.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	imperative generators, refactoring engines, automated testing, test data generation, bounded-exhaustive testing
1	Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov	Analyzing the Uses of a Software Modeling Tool.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.	ASE	2006	DBLP DOI BibTeX RDF
1	Danny Dig, Can Comertoglu, Darko Marinov, Ralph E. Johnson	Automated Detection of Refactorings in Evolving Components.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin	Detecting Redundant Unit Tests for AspectJ Programs.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.	TACAS	2005	DBLP DOI BibTeX RDF
1	Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard	Optimizations for Compiling Declarative Models into Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Darko Marinov, Gul Agha	CUTE: a concolic unit testing engine for C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing
1	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
1	Tao Xie, Darko Marinov, David Notkin	Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.	ASE	2004	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson	A Case for Efficient Solution Enumeration.	SAT	2003	DBLP DOI BibTeX RDF
1	Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard	Integrating Model Checking and Theorem Proving for Relational Reasoning.	RelMiCS	2003	DBLP DOI BibTeX RDF
1	Darko Marinov, Robert O'Callahan	Object equality profiling.	OOPSLA	2003	DBLP DOI BibTeX RDF	object equality, object mergeability, space savings, profiling, Java language, profile-guided optimization
1	Darko Marinov, Rados Radoicic	Counting 1324-Avoiding Permutations.	Electr. J. Comb.	2002	DBLP BibTeX RDF
1	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Darko Marinov, Sarfraz Khurshid	VAlloy - Virtual Functions Meet a Relational Language.	FME	2002	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Darko Marinov, Daniel Jackson	An analyzable annotation language.	OOPSLA	2002	DBLP DOI BibTeX RDF	alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
1	Sarfraz Khurshid, Darko Marinov	Checking Java implementation of a naming architecture using Testera.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Darko Marinov, Sarfraz Khurshid	TestEra: A Novel Framework for Automated Testing of Java Programs.	ASE	2001	DBLP DOI BibTeX RDF
1	Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko M. Milutinovic	Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite. (PDF / PS)	MASCOTS	2000	DBLP DOI BibTeX RDF

Publications of "Darko Marinov" ( http://dblp.L3S.de/Authors/Darko_Marinov )