Milos Gligoric

According to our database, Milos Gligoric authored at least 101 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Java JIT Testing with Template Extraction.

Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah, August Shi, Milos Gligoric

Proc. ACM Softw. Eng., 2024

Generating Exceptional Behavior Tests with Reasoning Augmented Large Language Models.

Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric

CoRR, 2024

ExLi: An Inline-Test Generation Tool for Java.

Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

A Deep Dive into Task-Based Parallelism in Python.

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

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

JOG: Java JIT Peephole Optimizations and Tests from Patterns.

Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Object Graph Programming.

Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Multilingual Code Co-evolution using Large Language Models.

Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, Milos Gligoric

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Pattern-Based Peephole Optimizations with Java JIT Tests.

Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Extracting Inline Tests from Unit Tests.

Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes.

Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

JATTACK: Java JIT Testing using Template Programs.

Zhiqiang Zang, Fu-Yao Yu, Nathan Wiatrek, Milos Gligoric, August Shi

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

Learning Deep Semantics for Test Completion.

Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

pytest-inline: An Inline Testing Tool for Python.

Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Python-by-contract dataset.

Jiyang Zhang, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, Milos Gligoric

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Parla: A Python Orchestration System for Heterogeneous Architectures.

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

Proceedings of the SC22: International Conference for High Performance Computing, 2022

A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas.

James Almgren-Bell, Nader Al Awar, Dilip S. Geethakrishnan, Milos Gligoric, George Biros

Proceedings of the 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2022

CoditT5: Pretraining for Source Code and Natural Language Editing.

Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Compiler Testing using Template Java Programs.

Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Inline Tests.

Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

PyKokkos: Performance Portable Kernels in Python.

Nader Al Awar, Neil Mehta, Steven Zhu, George Biros, Milos Gligoric

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Using Developer Discussions to Guide Fixing Bugs in Software.

Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection.

Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration.

Renan Greca, Breno Miranda, Milos Gligoric, Antonia Bertolino

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

Learning to Describe Solutions for Bug Reports Based on Developer Discussions.

Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Impact of Evaluation Methodologies on Code Summarization.

Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2021

Programming and execution models for parallel bounded exhaustive testing.

Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric

Proc. ACM Program. Lang., 2021

The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing.

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

Comput. Sci. Eng., 2021

Evaluation Methodologies for Code Learning Tasks.

Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric

CoRR, 2021

Learning to Generate Code Comments from Class Hierarchies.

Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Raymond J. Mooney, Junyi Jessy Li, Milos Gligoric

CoRR, 2021

Dynamic Generation of Python Bindings for HPC Kernels.

Steven Zhu, Nader Al Awar, Mattan Erez, Milos Gligoric

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

A performance portability framework for Python.

Nader Al Awar, Steven Zhu, George Biros, Milos Gligoric

Proceedings of the ICS '21: 2021 International Conference on Supercomputing, 2021

Deep Just-In-Time Inconsistency Detection Between Comments and Source Code.

Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

The Java Pathfinder Workshop 2019.

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

ACM SIGSOFT Softw. Eng. Notes, 2020

Unifying execution of imperative generators and declarative specifications.

Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric

Proc. ACM Program. Lang., 2020

Learning to Format Coq Code Using Language Models.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

CoRR, 2020

Practical Machine-Checked Formalization of Change Impact Analysis.

Karl Palmskog, Ahmet Çelik, Milos Gligoric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

On the naturalness of hardware descriptions.

Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, Milos Gligoric

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Debugging the performance of Maven's test isolation: experience report.

Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

mCoq: mutation analysis for Coq verification projects.

Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Predictive constraint solving and analysis.

Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Deep Generation of Coq Lemma Names Using Elaborated Terms.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Learning to Update Natural Language Comments Based on Code Changes.

Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

Associating Natural Language Comment and Source Code Entities.

Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Quantifying the Exploration of the Korat Solver for Imperative Constraints.

Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2019

Design, implementation, and application of GPU-based Java bytecode interpreters.

Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric

Proc. ACM Program. Lang., 2019

QED at Large: A Survey of Engineering of Formally Verified Software.

Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock

Found. Trends Program. Lang., 2019

Precise semantic history slicing through dynamic delta refinement.

Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik

Autom. Softw. Eng., 2019

Incremental Analysis of Evolving Alloy Models.

Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A framework for writing trigger-action todo comments in executable format.

Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Mutation Analysis for Coq.

Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Resurgence of Regression Test Selection for C++.

Ben Fu, Sasa Misailovic, Milos Gligoric

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Extension-Aware Automated Testing Based on Imperative Predicates.

Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

A framework for checking regression test selection tools.

Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric

Proceedings of the 41st International Conference on Software Engineering, 2019

Code transformation issues in move-instance-method refactorings.

Jongwook Kim, Don S. Batory, Milos Gligoric

Proceedings of the 3rd International Workshop on Refactoring, 2019

VeDebug: regression debugging tool for Java.

Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

A Progress Bar for the JPF Search Using Program Executions.

Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2018

Executable Trigger-Action Comments.

Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric

CoRR, 2018

Regression test selection for TizenRT.

Ahmet Çelik, Young-Chul Lee, Milos Gligoric

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

piCoq: parallel regression proving for large-scale verification projects.

Karl Palmskog, Ahmet Çelik, Milos Gligoric

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Approximate Transformations as Mutation Operators.

Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Towards refactoring-aware regression test selection.

Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric

Proceedings of the 40th International Conference on Software Engineering, 2018

A regression proof selection tool for coq.

Ahmet Çelik, Karl Palmskog, Milos Gligoric

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves.

Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

JPR: Replaying JPF Traces Using Standard JVM.

Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric

ACM SIGSOFT Softw. Eng. Notes, 2017

Bounded exhaustive test-input generation on GPUs.

Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric

Proc. ACM Program. Lang., 2017

File-level vs. module-level regression test selection for .NET.

Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, Milos Gligoric

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Regression test selection across JVM boundaries.

Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

iCoq: regression proof selection for large-scale verification projects.

Ahmet Çelik, Karl Palmskog, Milos Gligoric

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Mutation Testing Meets Approximate Computing.

Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Selective Bisection Debugging.

Ripon Saha, Milos Gligoric

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Build system with lazy retrieval for Java projects.

Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

The Effect of Test Suite Type on Regression Test Selection.

Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

2015

Regression test selection: theory and practice

Milos Gligoric

PhD thesis, 2015

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites.

Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov

ACM Trans. Softw. Eng. Methodol., 2015

Practical regression test selection with dynamic file dependencies.

Milos Gligoric, Lamyaa Eloussi, Darko Marinov

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Ekstazi: Lightweight Test Selection.

Milos Gligoric, Lamyaa Eloussi, Darko Marinov

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Balancing trade-offs in test-suite reduction.

August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Automated migration of build scripts using dynamic analysis and search-based refactoring.

Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

An empirical evaluation and comparison of manual and automated test selection.

Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Regression Test Selection for Distributed Software Histories.

Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficient mutation testing of multithreaded code.

Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov

Softw. Test. Verification Reliab., 2013

Model Checking Database Applications.

Milos Gligoric, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Model-based, event-driven programming paradigm for interactive web applications.

Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Operator-based and random mutant selection: Better together.

Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Selective mutation testing for concurrent code.

Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Comparing non-adequate test suites using coverage criteria.

Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Systematic Testing of Refactoring Engines on Real Software Projects.

Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

X10X: Model Checking a New Programming Language with an "Old" Model Checker.

Milos Gligoric, Peter C. Mehlitz, Darko Marinov

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Improved multithreaded unit testing.

Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

SMutant: a tool for type-sensitive mutation testing in a dynamic language.

Milos Gligoric, Sandro Badame, Ralph Johnson

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Fault-localization using dynamic slicing and change impact analysis.

Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

CoDeSe: fast deserialization via code generation.

Milos Gligoric, Darko Marinov, Sam Kamin

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Testing Container Classes: Random or Systematic?

Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures.

Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov

Proceedings of the Third International Conference on Software Testing, 2010

Mutation Operators for Actor Systems.

Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha

Proceedings of the Third International Conference on Software Testing, 2010

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.

Milos Gligoric, Vilas Jagannath, Darko Marinov

Proceedings of the Third International Conference on Software Testing, 2010

IMUnit: improved multithreaded unit testing.

Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

Test generation through programming in UDITA.

Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Optimizing Generation of Object Graphs in Java PathFinder.

Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

State extensions for java pathfinder.

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008