Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDDarko Marinov
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j16]Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell:
A large-scale longitudinal study of flaky tests. Proc. ACM Program. Lang. 4(OOPSLA): 202:1-202:29 (2020)- [c119]Emily M. Hastings, Albatool A. Alamri, Andrew Kuznetsov, Christine Pisarczyk, Karrie Karahalios, Darko Marinov, Brian P. Bailey:
LIFT: Integrating Stakeholder Voices into Algorithmic Team Formation. CHI 2020: 1-13 - [c118]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402 - [c117]Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, Darko Marinov:
Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. ISSRE 2020: 403-413 - [c116]Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas:
Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. MICRO 2020: 1138-1152 - [c115]Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid:
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE 2020: 1541-1545
2010 – 2019
- 2019
- [j15]Owolabi Legunsen
, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov:
How effective are existing Java API specifications for finding bugs during runtime verification? Autom. Softw. Eng. 26(4): 795-837 (2019) - [j14]August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen:
Reflection-aware static regression test selection. Proc. ACM Program. Lang. 3(OOPSLA): 187:1-187:29 (2019) - [c114]Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve:
Minotaur: Adapting Software Testing Techniques for Hardware Errors. ASPLOS 2019: 1087-1103 - [c113]Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve:
gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. DSN 2019: 214-221 - [c112]Matthew Krafczyk, August Shi, Adhithya Bhaskar, Darko Marinov, Victoria Stodden:
Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context. P-RECS@HPDC 2019: 23-28 - [c111]Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM 2019: 336-352 - [c110]Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov:
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. ICST 2019: 114-124 - [c109]Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov:
Techniques for Evolution-Aware Runtime Verification. ICST 2019: 300-311 - [c108]Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie:
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST 2019: 312-322 - [c107]August Shi, Peiyuan Zhao, Darko Marinov:
Understanding and Improving Regression Test Selection in Continuous Integration. ISSRE 2019: 228-238 - [c106]August Shi, Jonathan Bell, Darko Marinov:
Mitigating the effects of flaky tests on mutation testing. ISSTA 2019: 112-122 - [c105]Brandon Carlson, Kevin Leach, Darko Marinov, Meiyappan Nagappan, Atul Prakash:
Open Source Vulnerability Notification. OSS 2019: 12-23 - [c104]August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov:
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE 2019: 545-555 - 2018
- [j13]Emily M. Hastings, Farnaz Jahanbakhsh, Karrie Karahalios, Darko Marinov, Brian P. Bailey:
Structure or Nurture?: The Effects of Team-Building Activities and Team Composition on Team Outcomes. Proc. ACM Hum. Comput. Interact. 2(CSCW): 68:1-68:21 (2018) - [c103]Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120 - [c102]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136 - [c101]Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang:
An extensible, regular-expression-based tool for multi-language mutant generation. ICSE (Companion Volume) 2018: 25-28 - [c100]Tianyin Xu, Darko Marinov:
Mining container image repositories for software configuration and beyond. ICSE (NIER) 2018: 49-52 - [c99]Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov:
DeFlaker: automatically detecting flaky tests. ICSE 2018: 433-444 - [c98]Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov:
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE 2018: 112-122 - [c97]August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov:
Evaluating test-suite reduction in real software evolution. ISSTA 2018: 84-94 - [c96]Michael Hilton, Jonathan Bell, Darko Marinov:
A large-scale study of test coverage evolution. ASE 2018: 53-63 - [c95]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919 - [c94]Sarfraz Khurshid, Darko Marinov:
Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA 2018 - [i3]Tianyin Xu, Darko Marinov:
Mining Container Image Repositories for Software Configuration and Beyond. CoRR abs/1802.03558 (2018) - [i2]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. CoRR abs/1807.08707 (2018) - 2017
- [j12]Gordon Fraser, Darko Marinov:
Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015). Softw. Test. Verification Reliab. 27(6) (2017) - [c93]Farnaz Jahanbakhsh, Wai-Tat Fu, Karrie Karahalios, Darko Marinov, Brian P. Bailey:
You Want Me to Work with Who?: Stakeholder Perceptions of Automated Team Formation in Project-based Courses. CHI 2017: 3201-3212 - [c92]Owolabi Legunsen, August Shi, Darko Marinov:
STARTS: STAtic regression test selection. ASE 2017: 949-954 - [c91]Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, Danny Dig:
Trade-offs in continuous integration: assurance, security, and flexibility. ESEC/SIGSOFT FSE 2017: 197-207 - [c90]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017 - 2016
- [j11]Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov:
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c89]Danny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory:
COPE: vision for a change-oriented programming environment. ICSE (Companion Volume) 2016: 773-776 - [c88]August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov:
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST 2016: 80-90 - [c87]Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov:
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. ICST Workshops 2016: 238-239 - [c86]Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov:
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE 2016: 105-115 - [c85]Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce:
Evaluating non-adequate test-case reduction. ASE 2016: 16-26 - [c84]Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, Danny Dig:
Usage, costs, and benefits of continuous integration in open-source projects. ASE 2016: 426-437 - [c83]Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov:
How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. ASE 2016: 602-613 - [c82]Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov:
An extensive study of static regression test selection in modern software evolution. SIGSOFT FSE 2016: 583-594 - [c81]Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov:
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. SIGSOFT FSE 2016: 993-997 - 2015
- [j10]Karl Palmskog, Farah Hariri, Darko Marinov:
A Case Study on Executing Instrumented Code in Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 40(6): 1-5 (2015) - [j9]Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov:
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Trans. Softw. Eng. Methodol. 24(4): 22:1-22:33 (2015) - [c80]Yun Young Lee, Darko Marinov, Ralph E. Johnson:
Tempura: Temporal Dimension for IDEs. ICSE (1) 2015: 212-222 - [c79]Owolabi Legunsen, Darko Marinov, Grigore Rosu:
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) 2015: 615-618 - [c78]Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Ekstazi: Lightweight Test Selection. ICSE (2) 2015: 713-716 - [c77]Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Practical regression test selection with dynamic file dependencies. ISSTA 2015: 211-222 - [c76]Alex Gyori, August Shi, Farah Hariri, Darko Marinov:
Reliable testing: detecting state-polluting tests to prevent test dependency. ISSTA 2015: 223-233 - [c75]Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao:
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). ASE 2015: 178-189 - [c74]August Shi, Tifany Yung, Alex Gyori, Darko Marinov:
Comparing and combining test-suite reduction and regression test selection. ESEC/SIGSOFT FSE 2015: 237-247 - [c73]Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory:
Faster bug detection for software product lines with incomplete feature models. SPLC 2015: 151-160 - 2014
- [j8]Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24(8): 629-655 (2014) - [c72]Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov:
Regression Test Selection for Distributed Software Histories. CAV 2014: 293-309 - [c71]Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov:
An empirical evaluation and comparison of manual and automated test selection. ASE 2014: 361-372 - [c70]August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov:
Balancing trade-offs in test-suite reduction. SIGSOFT FSE 2014: 246-256 - [c69]Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, Darko Marinov:
An empirical analysis of flaky tests. SIGSOFT FSE 2014: 643-653 - [c68]Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. SPIN 2014: 113-116 - [e1]Corina S. Pasareanu, Darko Marinov:
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. ACM 2014, ISBN 978-1-4503-2645-2 [contents] - 2013
- [j7]Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23(5): 375-403 (2013) - [c67]Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov:
Systematic Testing of Refactoring Engines on Real Software Projects. ECOOP 2013: 629-653 - [c66]Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu:
Toddler: detecting performance problems via similar memory-access patterns. ICSE 2013: 562-571 - [c65]Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov:
Temporal code completion and navigation. ICSE 2013: 1181-1184 - [c64]Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
Faster mutation testing inspired by test prioritization and reduction. ISSTA 2013: 235-245 - [c63]Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov:
Comparing non-adequate test suites using coverage criteria. ISSTA 2013: 302-313 - [c62]Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid:
Operator-based and random mutant selection: Better together. ASE 2013: 92-102 - [c61]Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov:
Model-based, event-driven programming paradigm for interactive web applications. Onward! 2013: 17-36 - [c60]Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim:
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE 2013: 257-267 - 2012
- [c59]Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234 - [c58]Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov:
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. ICSE 2012: 727-737 - [c57]Milos Gligoric, Peter C. Mehlitz, Darko Marinov:
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST 2012: 11-20 - [c56]Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST 2012: 91-100 - [c55]Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens:
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. ICST 2012: 260-269 - [c54]Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov:
Evaluating Machine-Independent Metrics for State-Space Exploration. ICST 2012: 320-329 - [c53]Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
Regression mutation testing. ISSTA 2012: 331-341 - [c52]Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS 2012: 19-34 - 2011
- [c51]Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov:
Testing Container Classes: Random or Systematic? FASE 2011: 262-277 - [c50]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: 1010-1012 - [c49]Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
An Empirical Study of JUnit Test-Suite Reduction. ISSRE 2011: 170-179 - [c48]Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Change-aware preemption prioritization. ISSTA 2011: 133-143 - [c47]Milos Gligoric, Darko Marinov, Sam Kamin:
CoDeSe: fast deserialization via code generation. ISSTA 2011: 298-308 - [c46]Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
TestEra: A tool for testing Java programs using alloy specifications. ASE 2011: 608-611 - [c45]Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov:
Improved multithreaded unit testing. SIGSOFT FSE 2011: 223-233 - 2010
- [j6]Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Assertion Checking in J-Sim Simulation Models of Network Protocols. Simul. 86(11): 651-673 (2010) - [c44]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322 - [c43]Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov:
Test generation through programming in UDITA. ICSE (1) 2010: 225-234 - [c42]Milos Gligoric, Vilas Jagannath, Darko Marinov:
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST 2010: 55-64 - [c41]Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162 - [c40]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: 337-342 - [c39]Brett Daniel, Tihomir Gvero, Darko Marinov:
On test repair using symbolic execution. ISSTA 2010: 207-218 - [c38]Adrian Nistor, Darko Marinov, Josep Torrellas:
InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing. MICRO 2010: 251-262 - [c37]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364 - [i1]Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo:
Introducing Continuous Systematic Testing of Evolving Software. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [c36]Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov:
Reducing the Costs of Bounded-Exhaustive Testing. FASE 2009: 171-185 - [c35]Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid:
Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60 - [c34]Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov:
ReAssert: Suggesting Repairs for Broken Unit Tests. ASE 2009: 433-444 - [c33]Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha:
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479 - [c32]Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE 2009: 615-619 - [c31]Adrian Nistor, Darko Marinov, Josep Torrellas:
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. MICRO 2009: 541-552 - 2008
- [j5]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008) - [c30]Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan:
Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300 - [c29]Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid:
State extensions for java pathfinder. ICSE 2008: 863-866 - [c28]Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid:
Efficient solving of structural constraints. ISSTA 2008: 39-50 - [c27]Darko Marinov, Wolfram Schulte:
Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316 - 2007
- [c26]Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov:
Automated Testing of Eclipse and NetBeans Refactoring Tools. WRT 2007: 42-43 - [c25]Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov:
Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST 2007: 17-23 - [c24]Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid:
Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774 - [c23]Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS 2007: 1-6 - [c22]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60 - [c21]Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov:
Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144 - [c20]Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov:
Automated testing of refactoring engines. ESEC/SIGSOFT FSE 2007: 185-194 - 2006
- [j4]Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov:
Analyzing the Uses of a Software Modeling Tool. Electron. Notes Theor. Comput. Sci. 164(2): 3-18 (2006) - [c19]Danny Dig, Can Comertoglu, Darko Marinov, Ralph E. Johnson:
Automated Detection of Refactorings in Evolving Components. ECOOP 2006: 404-428 - [c18]Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567 - [c17]Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190 - [c16]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: 59-68 - 2005
- [b1]Darko Marinov:
Automatic testing of software with structurally complex inputs. Massachusetts Institute of Technology, Cambridge, MA, USA, 2005 - [c15]Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM 2005: 235-250 - [c14]Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard:
Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202 - [c13]Koushik Sen, Darko Marinov, Gul Agha:
CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272 - [c12]Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381 - 2004
- [j3]Sarfraz Khurshid, Darko Marinov:
TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. 11(4): 403-434 (2004) - [c11]Tao Xie, Darko Marinov, David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205 - 2003
- [c10]Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33 - [c9]Darko Marinov,