
Darko 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,