default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDarko Marinov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c138]Samuel Grayson
, Faustino Aguilar, Reed Milewicz, Daniel S. Katz, Darko Marinov:
A benchmark suite and performance analysis of user-space provenance collectors. ACM-REP 2024- [c137]Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, Darko Marinov:
Revisiting Test-Case Prioritization on Long-Running Test Suites. ISSTA 2024: 615-627 - [c136]Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, Tianyin Xu:
Ctest4J: A Practical Configuration Testing Framework for Java. SIGSOFT FSE Companion 2024: 562-566 - [i6]Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic:
FastFlip: Compositional Error Injection Analysis. CoRR abs/2403.13989 (2024) - 2023
- [j16]Chao Wang, Hao He, Uma Pal, Darko Marinov, Minghui Zhou:
Suboptimal Comments in Java Projects: From Independent Comment Changes to Commenting Practices. ACM Trans. Softw. Eng. Methodol. 32(2): 45:1-45:33 (2023) - [c135]Samuel Grayson, Darko Marinov, Daniel S. Katz, Reed Milewicz:
Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries. ACM-REP 2023: 74-84 - [c134]Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu:
Test Selection for Unified Regression Testing. ICSE 2023: 1687-1699 - [c133]Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang:
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE 2023: 1801-1813 - [c132]Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand:
Transforming Test Suites into Croissants. ISSTA 2023: 1080-1092 - [c131]Faustino Aguilar, Samuel Grayson, Darko Marinov:
Reproducing and Improving the BugsInPy Dataset. SCAM 2023: 260-264 - [i5]Samuel Grayson, Reed Milewicz, Joshua B. Teves, Daniel S. Katz, Darko Marinov:
Wanted: standards for automatic reproducibility of computational experiments. CoRR abs/2307.11383 (2023) - [i4]Chaitra Niddodi, Stefan Nagy, Darko Marinov, Sibin Mohan:
TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing. CoRR abs/2309.09522 (2023) - 2022
- [c130]Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas:
Pinned loads: taming speculative loads in secure processors. ASPLOS 2022: 314-328 - [c129]Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam:
Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE 2022: 1730-1742 - [c128]Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell:
A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering 2022: 57-59 - [c127]Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam:
A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) 2022: 217-235 - 2021
- [j15]Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov:
Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 46(3): 37-41 (2021) - [c126]Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov, August Shi:
Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications. ICSE 2021: 50-61 - [c125]Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu:
Test-case prioritization for configuration testing. ISSTA 2021: 452-465 - [c124]Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov:
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS 2021: 123-130 - [c123]Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam:
Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. TACAS (1) 2021: 270-287 - 2020
- [j14]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) - [c122]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 - [c121]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402 - [c120]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 - [c119]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 - [c118]Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid:
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE 2020: 1541-1545
2010 – 2019
- 2019
- [j13]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) - [j12]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) - [c117]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 - [c116]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 - [c115]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 - [c114]Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM 2019: 336-352 - [c113]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 - [c112]Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov:
Techniques for Evolution-Aware Runtime Verification. ICST 2019: 300-311 - [c111]Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie:
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST 2019: 312-322 - [c110]August Shi, Peiyuan Zhao, Darko Marinov:
Understanding and Improving Regression Test Selection in Continuous Integration. ISSRE 2019: 228-238 - [c109]August Shi, Jonathan Bell, Darko Marinov:
Mitigating the effects of flaky tests on mutation testing. ISSTA 2019: 112-122 - [c108]Brandon Carlson, Kevin Leach, Darko Marinov, Meiyappan Nagappan, Atul Prakash:
Open Source Vulnerability Notification. OSS 2019: 12-23 - [c107]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
- [j11]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) - [c106]Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120 - [c105]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136 - [c104]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 - [c103]Tianyin Xu, Darko Marinov:
Mining container image repositories for software configuration and beyond. ICSE (NIER) 2018: 49-52 - [c102]Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov:
DeFlaker: automatically detecting flaky tests. ICSE 2018: 433-444 - [c101]Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov:
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE 2018: 112-122 - [c100]August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov:
Evaluating test-suite reduction in real software evolution. ISSTA 2018: 84-94 - [c99]Michael Hilton, Jonathan Bell, Darko Marinov:
A large-scale study of test coverage evolution. ASE 2018: 53-63 - [c98]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919 - [c97]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
- [j10]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) - [c96]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 - [c95]Owolabi Legunsen, August Shi, Darko Marinov:
STARTS: STAtic regression test selection. ASE 2017: 949-954 - [c94]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 - [c93]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017 - 2016
- [j9]Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov:
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c92]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 - [c91]August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov:
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST 2016: 80-90 - [c90]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 - [c89]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 - [c88]Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce:
Evaluating non-adequate test-case reduction. ASE 2016: 16-26 - [c87]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 - [c86]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 - [c85]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 - [c84]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
- [j8]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) - [j7]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) - [c83]Yun Young Lee, Darko Marinov, Ralph E. Johnson:
Tempura: Temporal Dimension for IDEs. ICSE (1) 2015: 212-222 - [c82]Owolabi Legunsen, Darko Marinov, Grigore Rosu:
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) 2015: 615-618 - [c81]Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Ekstazi: Lightweight Test Selection. ICSE (2) 2015: 713-716 - [c80]Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Practical regression test selection with dynamic file dependencies. ISSTA 2015: 211-222 - [c79]Alex Gyori, August Shi, Farah Hariri, Darko Marinov:
Reliable testing: detecting state-polluting tests to prevent test dependency. ISSTA 2015: 223-233 - [c78]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 - [c77]August Shi, Tifany Yung, Alex Gyori, Darko Marinov:
Comparing and combining test-suite reduction and regression test selection. ESEC/SIGSOFT FSE 2015: 237-247 - [c76]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
- [j6]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) - [c75]Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov:
Regression Test Selection for Distributed Software Histories. CAV 2014: 293-309 - [c74]Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov:
An empirical evaluation and comparison of manual and automated test selection. ASE 2014: 361-372 - [c73]August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov:
Balancing trade-offs in test-suite reduction. SIGSOFT FSE 2014: 246-256 - [c72]Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, Darko Marinov:
An empirical analysis of flaky tests. SIGSOFT FSE 2014: 643-653 - [c71]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
- [j5]Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23(5): 375-403 (2013) - [c70]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 - [c69]Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu:
Toddler: detecting performance problems via similar memory-access patterns. ICSE 2013: 562-571 - [c68]Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov:
Temporal code completion and navigation. ICSE 2013: 1181-1184 - [c67]Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
Faster mutation testing inspired by test prioritization and reduction. ISSTA 2013: 235-245 - [c66]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 - [c65]Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid:
Operator-based and random mutant selection: Better together. ASE 2013: 92-102 - [c64]Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov:
Model-based, event-driven programming paradigm for interactive web applications. Onward! 2013: 17-36 - [c63]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
- [c62]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 - [c61]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 - [c60]Milos Gligoric, Peter C. Mehlitz, Darko Marinov:
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST 2012: 11-20 - [c59]Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST 2012: 91-100 - [c58]Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens:
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. ICST 2012: 260-269 - [c57]Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov:
Evaluating Machine-Independent Metrics for State-Space Exploration. ICST 2012: 320-329 - [c56]Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
Regression mutation testing. ISSTA 2012: 331-341 - [c55]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
- [c54]Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov:
Testing Container Classes: Random or Systematic? FASE 2011: 262-277 - [c53]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 - [c52]Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
An Empirical Study of JUnit Test-Suite Reduction. ISSRE 2011: 170-179 - [c51]Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Change-aware preemption prioritization. ISSTA 2011: 133-143 - [c50]Milos Gligoric, Darko Marinov, Sam Kamin:
CoDeSe: fast deserialization via code generation. ISSTA 2011: 298-308 - [c49]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 - [c48]Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov:
Improved multithreaded unit testing. SIGSOFT FSE 2011: 223-233 - 2010
- [j4]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) - [c47]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322 - [c46]Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov:
IMUnit: improved multithreaded unit testing. IWMSE@ICSE 2010: 48-49 - [c45]Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov:
Test generation through programming in UDITA. ICSE (1) 2010: 225-234 - [c44]