![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Milos Gligoric 0001
Person information
- affiliation: University of Texas at Austin, TX, USA
- affiliation (Ph.D., 2015): University of Illinois at Urbana-Champaign, IL, USA
Other persons with the same name
- Milos Gligoric 0002
— University of Belgrade, Serbia
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]Zhiqiang Zang
, Fu-Yao Yu
, Aditya Thimmaiah
, August Shi
, Milos Gligoric
:
Java JIT Testing with Template Extraction. Proc. ACM Softw. Eng. 1(FSE): 1129-1151 (2024) - [c81]Zhiqiang Zang
, Aditya Thimmaiah
, Milos Gligoric
:
JOG: Java JIT Peephole Optimizations and Tests from Patterns. ICSE Companion 2024: 11-15 - [c80]Aditya Thimmaiah
, Leonidas Lampropoulos
, Christopher J. Rossbach
, Milos Gligoric
:
Object Graph Programming. ICSE 2024: 20:1-20:13 - [c79]William Ruys, Hochan Lee, Bozhi You, Shreya Talati, Jaeyoung Park, James Almgren-Bell, Yineng Yan, Milinda Fernando, George Biros, Mattan Erez, Martin Burtscher, Christopher J. Rossbach, Keshav Pingali, Milos Gligoric:
A Deep Dive into Task-Based Parallelism in Python. IPDPS (Workshops) 2024: 1147-1149 - [c78]Yu Liu
, Aditya Thimmaiah
, Owolabi Legunsen
, Milos Gligoric
:
ExLi: An Inline-Test Generation Tool for Java. SIGSOFT FSE Companion 2024: 652-656 - [i22]Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric:
Object Graph Programming. CoRR abs/2402.02642 (2024) - [i21]Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah, August Shi, Milos Gligoric:
Java JIT Testing with Template Extraction. CoRR abs/2403.11281 (2024) - [i20]Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric:
Pattern-Based Peephole Optimizations with Java JIT Tests. CoRR abs/2403.11283 (2024) - [i19]Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric:
Generating Exceptional Behavior Tests with Reasoning Augmented Large Language Models. CoRR abs/2405.14619 (2024) - 2023
- [c77]Zhiqiang Zang, Fu-Yao Yu
, Nathan Wiatrek, Milos Gligoric, August Shi:
JATTACK: Java JIT Testing using Template Programs. ICSE Companion 2023: 6-10 - [c76]Yu Liu
, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
pytest-inline: An Inline Testing Tool for Python. ICSE Companion 2023: 161-164 - [c75]Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric:
Learning Deep Semantics for Test Completion. ICSE 2023: 2111-2123 - [c74]Zhiqiang Zang
, Aditya Thimmaiah, Milos Gligoric:
Pattern-Based Peephole Optimizations with Java JIT Tests. ISSTA 2023: 64-75 - [c73]Yu Liu
, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. ISSTA 2023: 664-676 - [c72]Yu Liu
, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen:
Extracting Inline Tests from Unit Tests. ISSTA 2023: 1458-1470 - [c71]Jiyang Zhang
, Pengyu Nie
, Junyi Jessy Li
, Milos Gligoric
:
Multilingual Code Co-evolution using Large Language Models. ESEC/SIGSOFT FSE 2023: 695-707 - [i18]Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric:
Learning Deep Semantics for Test Completion. CoRR abs/2302.10166 (2023) - [i17]Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
pytest-inline: An Inline Testing Tool for Python. CoRR abs/2305.13486 (2023) - [i16]Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, Milos Gligoric:
Multilingual Code Co-Evolution Using Large Language Models. CoRR abs/2307.14991 (2023) - 2022
- [c70]Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney:
Learning to Describe Solutions for Bug Reports Based on Developer Discussions. ACL (Findings) 2022: 2935-2952 - [c69]Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric:
Impact of Evaluation Methodologies on Code Summarization. ACL (1) 2022: 4936-4960 - [c68]Jiyang Zhang, Yu Liu
, Milos Gligoric, Owolabi Legunsen, August Shi:
Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. AST@ICSE 2022: 17-28 - [c67]Renan Greca
, Breno Miranda, Milos Gligoric, Antonia Bertolino:
Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration. AST@ICSE 2022: 115-125 - [c66]Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney:
Using Developer Discussions to Guide Fixing Bugs in Software. EMNLP (Findings) 2022: 2292-2301 - [c65]Nader Al Awar, Neil Mehta, Steven Zhu, George Biros, Milos Gligoric:
PyKokkos: Performance Portable Kernels in Python. ICSE-Companion 2022: 164-167 - [c64]Jiyang Zhang
, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric:
CoditT5: Pretraining for Source Code and Natural Language Editing. ASE 2022: 22:1-22:12 - [c63]Zhiqiang Zang
, Nathan Wiatrek, Milos Gligoric, August Shi:
Compiler Testing using Template Java Programs. ASE 2022: 23:1-23:13 - [c62]Yu Liu
, Pengyu Nie
, Owolabi Legunsen
, Milos Gligoric:
Inline Tests. ASE 2022: 57:1-57:13 - [c61]James Almgren-Bell, Nader Al Awar, Dilip S. Geethakrishnan, Milos Gligoric, George Biros:
A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas. SBAC-PAD 2022: 140-149 - [c60]Hochan Lee, William Ruys, Ian Henriksen, Arthur Peters, Yineng Yan, Sean Stephens, Bozhi You, Henrique Fingler, Martin Burtscher, Milos Gligoric, Karl Schulz, Keshav Pingali, Christopher J. Rossbach, Mattan Erez
, George Biros:
Parla: A Python Orchestration System for Heterogeneous Architectures. SC 2022: 51:1-51:15 - [c59]Jiyang Zhang, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, Milos Gligoric:
Python-by-contract dataset. ESEC/SIGSOFT FSE 2022: 1652-1656 - [i15]Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric:
CoditT5: Pretraining for Source Code and Natural Language Editing. CoRR abs/2208.05446 (2022) - [i14]Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi:
Compiler Testing using Template Java Programs. CoRR abs/2209.04514 (2022) - [i13]Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric:
Inline Tests. CoRR abs/2209.06315 (2022) - [i12]Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney:
Using Developer Discussions to Guide Fixing Bugs in Software. CoRR abs/2211.06335 (2022) - 2021
- [j13]Christian Trott
, Luc Berger-Vergiat
, David Poliakoff
, Sivasankaran Rajamanickam
, Damien Lebrun-Grandié
, Jonathan R. Madsen, Nader Al Awar
, Milos Gligoric, Galen M. Shipman, Geoff Womeldorff:
The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing. Comput. Sci. Eng. 23(5): 10-18 (2021) - [j12]Nader Al Awar, Kush Jain, Christopher J. Rossbach
, Milos Gligoric:
Programming and execution models for parallel bounded exhaustive testing. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [c58]Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney:
Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. AAAI 2021: 427-435 - [c57]Nader Al Awar, Steven Zhu, George Biros, Milos Gligoric:
A performance portability framework for Python. ICS 2021: 467-478 - [c56]Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. ICSE (Companion Volume) 2021: 21-24 - [c55]Steven Zhu, Nader Al Awar, Mattan Erez
, Milos Gligoric:
Dynamic Generation of Python Bindings for HPC Kernels. ASE 2021: 92-103 - [i11]Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. CoRR abs/2103.01346 (2021) - [i10]Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Raymond J. Mooney, Junyi Jessy Li, Milos Gligoric:
Learning to Generate Code Comments from Class Hierarchies. CoRR abs/2103.13426 (2021) - [i9]Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric:
Evaluation Methodologies for Code Learning Tasks. CoRR abs/2108.09619 (2021) - [i8]Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney:
Learning to Describe Solutions for Bug Reports Based on Developer Discussions. CoRR abs/2110.04353 (2021) - 2020
- [j11]Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric:
Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. 4(OOPSLA): 217:1-217:26 (2020) - [j10]Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [c54]Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li:
Associating Natural Language Comment and Source Code Entities. AAAI 2020: 8592-8599 - [c53]Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney:
Learning to Update Natural Language Comments Based on Code Changes. ACL 2020: 1853-1868 - [c52]Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Deep Generation of Coq Lemma Names Using Elaborated Terms. IJCAR (2) 2020: 97-118 - [c51]Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric:
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) 2020: 89-92 - [c50]Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Predictive constraint solving and analysis. ICSE (NIER) 2020: 109-112 - [c49]Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell
, Milos Gligoric:
Debugging the performance of Maven's test isolation: experience report. ISSTA 2020: 249-259 - [c48]Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, Milos Gligoric:
On the naturalness of hardware descriptions. ESEC/SIGSOFT FSE 2020: 530-542 - [c47]Karl Palmskog, Ahmet Çelik, Milos Gligoric:
Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) 2020: 137-157 - [i7]Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock:
QED at Large: A Survey of Engineering of Formally Verified Software. CoRR abs/2003.06458 (2020) - [i6]Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Deep Generation of Coq Lemma Names Using Elaborated Terms. CoRR abs/2004.07761 (2020) - [i5]Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney:
Learning to Update Natural Language Comments Based on Code Changes. CoRR abs/2004.12169 (2020) - [i4]Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Learning to Format Coq Code Using Language Models. CoRR abs/2006.16743 (2020) - [i3]Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney:
Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. CoRR abs/2010.01625 (2020)
2010 – 2019
- 2019
- [j9]Yi Li
, Chenguang Zhu, Milos Gligoric, Julia Rubin
, Marsha Chechik
:
Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. 26(4): 757-793 (2019) - [j8]Talia Ringer, Karl Palmskog, Ilya Sergey
, Milos Gligoric, Zachary Tatlock
:
QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. 5(2-3): 102-281 (2019) - [j7]Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric:
Design, implementation, and application of GPU-based Java bytecode interpreters. Proc. ACM Program. Lang. 3(OOPSLA): 177:1-177:28 (2019) - [j6]Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes 44(4): 15 (2019) - [c46]Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric:
VeDebug: regression debugging tool for Java. ICSE (Companion Volume) 2019: 15-18 - [c45]Jongwook Kim, Don S. Batory, Milos Gligoric:
Code transformation issues in move-instance-method refactorings. IWOR@ICSE 2019: 17-22 - [c44]Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric:
A framework for checking regression test selection tools. ICSE 2019: 430-441 - [c43]Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid:
Extension-Aware Automated Testing Based on Imperative Predicates. ICST 2019: 25-36 - [c42]Ben Fu, Sasa Misailovic, Milos Gligoric:
Resurgence of Regression Test Selection for C++. ICST 2019: 323-334 - [c41]Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric:
Mutation Analysis for Coq. ASE 2019: 539-551 - [c40]Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE 2019: 385-396 - [c39]Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid:
Incremental Analysis of Evolving Alloy Models. TACAS (1) 2019: 174-191 - [i2]Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li:
Associating Natural Language Comment and Source Code Entities. CoRR abs/1912.06728 (2019) - 2018
- [j5]Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43(4): 55 (2018) - [c38]Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops 2018: 775-778 - [c37]Ahmet Çelik, Karl Palmskog, Milos Gligoric:
A regression proof selection tool for coq. ICSE (Companion Volume) 2018: 117-120 - [c36]Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric:
Towards refactoring-aware regression test selection. ICSE 2018: 233-244 - [c35]Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. ICST 2018: 285-296 - [c34]Karl Palmskog, Ahmet Çelik, Milos Gligoric:
piCoq: parallel regression proving for large-scale verification projects. ISSTA 2018: 344-355 - [c33]Ahmet Çelik, Young-Chul Lee, Milos Gligoric:
Regression test selection for TizenRT. ESEC/SIGSOFT FSE 2018: 845-850 - [i1]Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
Executable Trigger-Action Comments. CoRR abs/1808.01729 (2018) - 2017
- [j4]Ahmet Çelik, Sreepathi Pai
, Sarfraz Khurshid, Milos Gligoric:
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1(OOPSLA): 94:1-94:25 (2017) - [j3]Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric:
JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [c32]Ripon Saha, Milos Gligoric:
Selective Bisection Debugging. FASE 2017: 60-77 - [c31]Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi:
Mutation Testing Meets Approximate Computing. ICSE-NIER 2017: 3-6 - [c30]Ahmet Çelik, Karl Palmskog, Milos Gligoric:
iCoq: regression proof selection for large-scale verification projects. ASE 2017: 171-182 - [c29]Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric:
Regression test selection across JVM boundaries. ESEC/SIGSOFT FSE 2017: 809-820 - [c28]Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, Milos Gligoric:
File-level vs. module-level regression test selection for .NET. ESEC/SIGSOFT FSE 2017: 848-853 - 2016
- [c27]Nima Dini, Allison Sullivan
, Milos Gligoric, Gregg Rothermel:
The Effect of Test Suite Type on Regression Test Selection. ISSRE 2016: 47-58 - [c26]Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric:
Build system with lazy retrieval for Java projects. SIGSOFT FSE 2016: 643-654 - 2015
- [b1]Milos Gligoric:
Regression test selection: theory and practice. University of Illinois Urbana-Champaign, USA, 2015 - [j2]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) - [c25]Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Ekstazi: Lightweight Test Selection. ICSE (2) 2015: 713-716 - [c24]Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Practical regression test selection with dynamic file dependencies. ISSTA 2015: 211-222 - 2014
- [c23]Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov:
Regression Test Selection for Distributed Software Histories. CAV 2014: 293-309 - [c22]Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov:
An empirical evaluation and comparison of manual and automated test selection. ASE 2014: 361-372 - [c21]Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits:
Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA 2014: 599-616 - [c20]August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov:
Balancing trade-offs in test-suite reduction. SIGSOFT FSE 2014: 246-256 - 2013
- [j1]Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23(5): 375-403 (2013) - [c19]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 - [c18]Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam:
Selective mutation testing for concurrent code. ISSTA 2013: 224-234 - [c17]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 - [c16]Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid:
Operator-based and random mutant selection: Better together. ASE 2013: 92-102 - [c15]Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov:
Model-based, event-driven programming paradigm for interactive web applications. Onward! 2013: 17-36 - [c14]Milos Gligoric, Rupak Majumdar:
Model Checking Database Applications. TACAS 2013: 549-564 - 2012
- [c13]Milos Gligoric, Peter C. Mehlitz, Darko Marinov:
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST 2012: 11-20 - 2011
- [c12]Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov:
Testing Container Classes: Random or Systematic? FASE 2011: 262-277 - [c11]Milos Gligoric, Darko Marinov, Sam Kamin:
CoDeSe: fast deserialization via code generation. ISSTA 2011: 298-308 - [c10]Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
:
Fault-localization using dynamic slicing and change impact analysis. ASE 2011: 520-523 - [c9]Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov:
Improved multithreaded unit testing. SIGSOFT FSE 2011: 223-233 - [c8]Milos Gligoric, Sandro Badame, Ralph Johnson:
SMutant: a tool for type-sensitive mutation testing in a dynamic language. SIGSOFT FSE 2011: 424-427 - 2010
- [c7]Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov:
IMUnit: improved multithreaded unit testing. IWMSE@ICSE 2010: 48-49 - [c6]Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov:
Test generation through programming in UDITA. ICSE (1) 2010: 225-234 - [c5]Milos Gligoric, Vilas Jagannath, Darko Marinov:
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST 2010: 55-64 - [c4]Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162 - [c3]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
2000 – 2009
- 2009
- [c2]Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid:
Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60 - 2008
- [c1]Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim
, Darko Marinov, Sarfraz Khurshid:
State extensions for java pathfinder. ICSE 2008: 863-866
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint