Travelled to:1 × Austria
1 × China
1 × Hungary
1 × South Africa
1 × Sweden
1 × Switzerland
2 × Canada
2 × France
2 × Germany
2 × Italy
6 × USA
Collaborated with:D.Marinov A.Çelik S.Khurshid A.Milicevic V.Jagannath L.Eloussi R.Majumdar R.Sharma T.Gvero K.Palmskog L.Zhang M.Vasic R.Saha M.d'Amorim P.Nie S.Lauterburg P.C.Mehlitz S.Badame R.Johnson S.Kamin Y.Lee S.Negara O.Legunsen C.Pereira G.Pokam D.Jackson E.Alves A.Knaust Z.Parvez S.Pai C.J.Rossbach A.Shi A.Gyori A.Zaytsev A.Arcuri G.Fraser M.Parovic E.J.G.Arias W.Schulte C.Prasad D.v.Velzen I.Narasamdya B.Livshits F.Behrang Y.Li J.Overbey M.Hafiz A.Groce C.Zhang M.A.Alipour D.Jin Q.Luo G.Rosu V.Kuncak R.Rai J.J.Li R.J.Mooney
Talks about:test (17) select (11) regress (6) generat (4) mutat (4) model (4) dynam (4) java (4) base (4) project (3)
Person: Milos Gligoric
DBLP: Gligoric:Milos
Contributed to:
2015
2015
2014
2014
2014
20142013
20132013
2013
2013
20122011
2011
201120112010201020092008201620172017201820192019201720172019Wrote 32 papers:
- ICSE-v2-2015-GligoricEM #lightweight #named #testing
- Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
- ISSTA-2015-GligoricEM #dependence #testing
- Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
- 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-ShiGGZM #reduction #testing #trade-off
- Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
- OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using
- Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
- 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.
- 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-GligoricZPP #concurrent #mutation testing #testing
- Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
- 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.
- TACAS-2013-GligoricM #database #model checking
- Model Checking Database Applications (MG, RM), pp. 549–564.
- 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.
- ASE-2011-AlvesGJd #impact analysis #slicing #using
- Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.
- ESEC-FSE-2011-GligoricBJ #mutation testing #named #testing
- SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
- 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.
- ISSTA-2011-GligoricMK #code generation #named #performance
- CoDeSe: fast deserialization via code generation (MG, DM, SK), pp. 298–308.
- 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.
- 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.
- FSE-2016-CelikKMG #java #lazy evaluation #retrieval
- Build system with lazy retrieval for Java projects (AÇ, AK, AM, MG), pp. 643–654.
- ASE-2017-CelikPG #named #proving #scalability #verification
- iCoq: regression proof selection for large-scale verification projects (AÇ, KP, MG), pp. 171–182.
- ESEC-FSE-2017-CelikVMG #bound #testing #virtual machine
- Regression test selection across JVM boundaries (AÇ, MV, AM, MG), pp. 809–820.
- ESEC-FSE-2017-VasicPMG #dot-net #testing
- File-level vs. module-level regression test selection for .NET (MV, ZP, AM, MG), pp. 848–853.
- ESEC-FSE-2018-CelikLG #testing
- Regression test selection for TizenRT (AÇ, YCL, MG), pp. 845–850.
- ASE-2019-CelikPPAG #analysis #coq #mutation testing
- Mutation Analysis for Coq (AÇ, KP, MP, EJGA, MG), pp. 539–551.
- ESEC-FSE-2019-NieRLKMG #execution #framework
- A framework for writing trigger-action todo comments in executable format (PN, RR, JJL, SK, RJM, MG), pp. 385–396.
- FASE-2017-SahaG #debugging
- Selective Bisection Debugging (RS, MG), pp. 60–77.
- OOPSLA-2017-CelikPKG #bound #generative
- Bounded exhaustive test-input generation on GPUs (AÇ, SP, SK, MG), p. 25.
- OOPSLA-2019-CelikNRG #bytecode #design #implementation #java
- Design, implementation, and application of GPU-based Java bytecode interpreters (AÇ, PN, CJR, MG), p. 28.