BibSLEIGH — Darko

Travelled to:

1 × China
1 × Croatia
1 × Cyprus
1 × Czech Republic
1 × Denmark
1 × Hungary
1 × Japan
1 × New Zealand
1 × Portugal
1 × Russia
1 × South Africa
1 × Sweden
15 × USA
2 × Austria
2 × Canada
2 × Germany
2 × Switzerland
3 × France
4 × United Kingdom
6 × Italy

Collaborated with:

S.Khurshid M.Gligoric A.Shi V.Jagannath S.Lauterburg O.Legunsen L.Zhang D.Dig B.Daniel L.Eloussi M.d'Amorim T.Xie T.Gvero Q.Luo A.Gyori Y.Y.Lee D.Jackson G.Agha M.Hilton G.Rosu A.Milicevic F.Hariri J.H.Siddiqui S.Misailovic R.E.Johnson D.Notkin R.Sharma R.K.Karmani R.O'Callahan A.Nistor T.Tunnell A.Groce M.A.Alipour S.H.Tan P.C.Mehlitz S.Kamin B.Elkarablieh K.Sen C.Boyapati J.B.0001 S.Souto D.S.Batory T.Yung S.Negara S.Harwell L.Song S.Lu M.Kirn Y.Lin L.Tan G.T.Leavens L.Zhang V.S.Bengolea N.Aguirre M.F.Frias M.Dotta G.A.Agha A.Sobeih M.Viswanathan K.Garcia C.Comertoglu W.Schulte I.Shlyakhter K.Wang A.Sullivan R.Majumdar A.Zaytsev M.Pradel T.R.Gross S.A.Khalek G.Yang A.Arcuri G.Fraser N.Petrovic C.Pacheco M.D.Ernst X.Li D.Shannon J.Walker S.Bugrara L.Zhang M.C.Rinard Z.Lin H.Zhong Y.Chen J.Zhao R.Gopinath K.Huang W.U.Hassan X.Xu B.Lambeth N.N.0002 W.Lam R.Oei Milica Hadzi-Tanovic D.Gopinath F.Behrang Y.Li J.Overbey M.Hafiz C.Zhang D.Jin V.Kuncak Y.Lu C.H.P.Kim P.Barros Abdulrahman Mahmoud Radha Venkatagiri Khalique Ahmed C.W.Fletcher S.V.Adve J.Jiaa D.Mitchell J.Nogiec

Talks about:

test (48) program (10) select (9) java (9) generat (8) unit (8) softwar (7) regress (7) detect (7) framework (6)

♂ Person: Darko Marinov

DBLP: Marinov:Darko

Facilitated 11 volumes:

ExpertReviewPa

PrBoard

PrCo

ExpertReviewPa

PrBoard

SaEventsCh

TuCh

WoCh

PrCo

PrCo

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2015

2016

2017

2018

2019

Wrote 75 papers:

ESEC-FSE-2015-ShiYGM #reduction #testing: Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
ICSE-v1-2015-LeeMJ #ide #named: Tempura: Temporal Dimension for IDEs (YYL, DM, REJ), pp. 212–222.
ICSE-v2-2015-GligoricEM #lightweight #named #testing: Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
ICSE-v2-2015-LegunsenMR #programming: Evolution-Aware Monitoring-Oriented Programming (OL, DM, GR), pp. 615–618.
ISSTA-2015-GligoricEM #dependence #testing: Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTA-2015-GyoriSHM #dependence #detection #reliability #testing: Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line: Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
ASE-2014-GligoricNLM #automation #comparison #empirical #evaluation #testing: An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.
CAV-2014-GligoricMSEM #distributed #testing: Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
FSE-2014-LuoHEM #analysis #empirical #testing: An empirical analysis of flaky tests (QL, FH, LE, DM), pp. 643–653.
FSE-2014-ShiGGZM #reduction #testing #trade-off: Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
ASE-2013-ZhangGMK #random: Operator-based and random mutant selection: Better together (LZ, MG, DM, SK), pp. 92–102.
ECOOP-2013-GligoricBLOHM #refactoring #testing: Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing: SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ICSE-2013-LeeHKM #code completion #navigation: Temporal code completion and navigation (YYL, SH, SK, DM), pp. 1181–1184.
ICSE-2013-NistorSML #data access #detection #named #performance #problem: Toddler: detecting performance problems via similar memory-access patterns (AN, LS, DM, SL), pp. 562–571.
ISSTA-2013-GligoricGZSAM #test coverage #testing #using: Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing: Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web: Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.
ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread: Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICST-2012-GligoricMM #model checking #named #programming language: X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
ICST-2012-JagannathKLM #independence #metric: Evaluating Machine-Independent Metrics for State-Space Exploration (VJ, MK, YL, DM), pp. 320–329.
ICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ICST-2012-TanMTL #consistency #detection #nondeterminism #testing: @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.
ISSTA-2012-ZhangMZK #mutation testing #testing: Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
TAP-2012-BengoleaAMF #bound #test coverage #testing #using: Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.
ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using: TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread: Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
FASE-2011-SharmaGAFM #question #random #testing: Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.
ICSE-2011-DanielDGJJMNTM #named #testing: ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
ISSTA-2011-GligoricMK #code generation #named #performance: CoDeSe: fast deserialization via code generation (MG, DM, SK), pp. 298–308.
ISSTA-2011-JagannathLM: Change-aware preemption prioritization (VJ, QL, DM), pp. 133–143.
FASE-2010-LauterburgKMA #heuristic #partial order #reduction: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
FSE-2010-LauterburgKMA #named #source code #testing: Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.
ICSE-2010-GligoricGJKKM #generative #programming #testing: Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
ICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing #thread: MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
ISSTA-2010-DanielGM #execution #on the #symbolic computation #using: On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
ASE-2009-DanielJDM #named #testing: ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.
ASE-2009-LauterburgDMA #framework #source code: A Framework for State-Space Exploration of Java-Based Actor Programs (SL, MD, DM, GAA), pp. 468–479.
ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving: Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
FASE-2009-JagannathLDM #bound #cost analysis #testing: Reducing the Costs of Bounded-Exhaustive Testing (VJ, YYL, BD, DM), pp. 171–185.
ICST-2009-GligoricGLMK #generative #graph #java #optimisation: Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICSE-2008-GveroGL #java: State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
ICSE-2008-LauterburgSMV #incremental #source code: Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
ISSTA-2008-ElkarabliehMK #constraints #performance: Efficient solving of structural constraints (BE, DM, SK), pp. 39–50.
ESEC-FSE-2007-DanielDGM #automation #refactoring #testing: Automated testing of refactoring engines (BD, DD, KG, DM), pp. 185–194.
ESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing: Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.
ICSE-2007-MilicevicMMK #generative #named #testing: Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.
ISSTA-2007-dAmorimLM #execution #object-oriented #performance #source code: Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.
ASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.
ECOOP-2006-DigCMJ #automation #component #detection #evolution #refactoring: Automated Detection of Refactorings in Evolving Components (DD, CC, DM, REJ), pp. 404–428.
LDTA-2006-LiSWKM #modelling: Analyzing the Uses of a Software Modeling Tool (XL, DS, JW, SK, DM), pp. 3–18.
ESEC-FSE-2005-SenMA #c #named #testing: CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation: Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
ASE-2004-XieMN #detection #framework #named #object-oriented #testing: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.
OOPSLA-2003-MarinovO #profiling #similarity: Object equality profiling (DM, RO), pp. 313–325.
SAT-2003-KhurshidMSJ #performance: A Case for Efficient Solution Enumeration (SK, DM, IS, DJ), pp. 272–286.
FME-2002-MarinovK #named #relational: VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.
ISSTA-2002-BoyapatiKM #automation #java #named #testing: Korat: automated testing based on Java predicates (CB, SK, DM), pp. 123–133.
OOPSLA-2002-KhurshidMJ: An analyzable annotation language (SK, DM, DJ), pp. 231–245.
ASE-2001-MarinovK #automation #framework #java #named #novel #source code #testing: TestEra: A Novel Framework for Automated Testing of Java Programs (DM, SK), p. 22–?.
ASE-2015-LinMZCZ #benchmark #concurrent #debugging #java #metric #named: JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T) (ZL, DM, HZ, YC, JZ), pp. 178–189.
ASE-2016-AlipourSGMG #reduction #testing: Evaluating non-adequate test-case reduction (MAA, AS, RG, DM, AG), pp. 16–26.
ASE-2016-HiltonTHMD #cost analysis #integration #open source: Usage, costs, and benefits of continuous integration in open-source projects (MH, TT, KH, DM, DD), pp. 426–437.
ASE-2016-LegunsenHXRM #api #case study #effectiveness #how #java #specification: How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications (OL, WUH, XX, GR, DM), pp. 602–613.
FSE-2016-GyoriLSLM #api #debugging #detection #java #named #specification: NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications (AG, BL, AS, OL, DM), pp. 993–997.
FSE-2016-LegunsenHSLZM #evolution #testing: An extensive study of static regression test selection in modern software evolution (OL, FH, AS, YL, LZ, DM), pp. 583–594.
ASE-2017-LegunsenSM #named #testing: STARTS: STAtic regression test selection (OL, AS, DM), pp. 949–954.
ESEC-FSE-2017-Hilton0TMD #assurance #flexibility #integration #security #trade-off: Trade-offs in continuous integration: assurance, security, and flexibility (MH, NN0, TT, DM, DD), pp. 197–207.
ASE-2018-Hilton0M #evolution #scalability #test coverage: A large-scale study of test coverage evolution (MH, JB0, DM), pp. 53–63.
ESEC-FSE-2018-WangSMK #alloy #framework #named #sketching: ASketch: a sketching framework for Alloy (KW, AS, DM, SK), pp. 916–919.
ESEC-FSE-2019-ShiLOXM #automation #framework #named #testing: iFixFlakies: a framework for automatically fixing order-dependent flaky tests (AS, WL, RO, TX, DM), pp. 545–555.
OOPSLA-2019-ShiHZML #testing: Reflection-aware static regression test selection (AS, MHT, LZ, DM, OL), p. 29.
ASPLOS-2019-MahmoudVAMMFA #adaptation #fault #hardware #named #testing: Minotaur: Adapting Software Testing Techniques for Hardware Errors (AM, RV, KA, SM, DM, CWF, SVA), pp. 1087–1103.