Sasa Misailovic

108 papers A* 15A 20B 8C 1Misc 3Journal 43Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty. SAS Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic
2025	A*	`conf`	CRANE: Reasoning with constrained LLM generation. ICML Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	CRANE: Reasoning with constrained LLM generation. CoRR Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	DINGO: Constrained Inference for Diffusion LLMs. CoRR Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	Enforcing Temporal Constraints for LLM Agents. CoRR Adharsh Kamath, Sishen Zhang, Calvin Xu, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2025	A	`conf`	FastFlip: Compositional SDC Resiliency Analysis. CGO Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
2025	A*	`conf`	IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking. ICLR Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic
2025	J	`jnl`	Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs. CoRR Yifan Zhao, Egan Johnson, Prasanth Chatarasi, Vikram S. Adve, Sasa Misailovic
2025	J	`jnl`	REFINESTAT: Efficient Exploration for Probabilistic Program Synthesis. CoRR Madhav Kanda, Shubham Ugare, Sasa Misailovic
2025	J	`jnl`	Safety and Trust in Artificial Intelligence with Abstract Interpretation. Found. Trends Program. Lang. Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang
2025	J	`jnl`	SynCode: LLM Generation with Grammar Augmentation. Trans. Mach. Learn. Res. Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh
2025	J	`jnl`	UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8. CoRR Preston Firestone, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2024	J	`jnl`	ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs. CoRR Yuchen Yang, Shubham Ugare, Yifan Zhao, Gagandeep Singh, Sasa Misailovic
2024	J	`jnl`	Debugging convergence problems in probabilistic programs via program representation learning with SixthSense. Int. J. Softw. Tools Technol. Transf. Zixin Huang, Saikat Dutta, Sasa Misailovic
2024	J	`jnl`	FastFlip: Compositional Error Injection Analysis. CoRR Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
2024	—	`conf`	Felix: Optimizing Tensor Programs with Gradient Descent. ASPLOS (3) Yifan Zhao, Hashim Sharif, Vikram S. Adve, Sasa Misailovic
2024	A	`conf`	GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. ISSRE Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2024	J	`jnl`	Improving LLM Code Generation with Grammar Augmentation. CoRR Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh
2024	A*	`conf`	Incremental Randomized Smoothing Certification. ICLR Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
2024	—	`conf`	Is Watermarking LLM-Generated Code Robust? Tiny Papers @ ICLR Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2024	J	`jnl`	Is Watermarking LLM-Generated Code Robust? CoRR Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2024	J	`jnl`	IterGen: Iterative Structured LLM Generation. CoRR Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic
2024	J	`jnl`	Mobiprox: Supporting Dynamic Approximate Computing on Mobiles. IEEE Internet Things J. Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic
2024	A	`conf`	Quantizing Large-Language Models for Predicting Flaky Tests. ICST Shanto Rahman, Abdelrahman Baz, Sasa Misailovic, August Shi
2023	A	`conf`	ASTRA: Understanding the practical impact of robustness for probabilistic programs. UAI Zixin Huang, Saikat Dutta, Sasa Misailovic
2023	—	`conf`	ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization. MLSys Yifan Zhao, Hashim Sharif, Peter Pao-Huang, Vatsin Shah, Arun Narenthiran Sivakumar, Mateus Valverde Gasparino, Abdulrahman Mahmoud, Nathan Zhao, Sarita V. Adve, Girish Chowdhary, Sasa Misailovic, Vikram S. Adve
2023	B	`conf`	AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. ATVA Zitong Zhou, Zixin Huang, Sasa Misailovic
2023	A*	`conf`	Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
2023	J	`jnl`	Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. Int. J. Softw. Tools Technol. Transf. Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
2023	J	`jnl`	Incremental Randomized Smoothing Certification. CoRR Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
2023	J	`jnl`	Incremental Verification of Neural Networks. CoRR Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
2023	J	`jnl`	Incremental Verification of Neural Networks. Proc. ACM Program. Lang. Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
2023	J	`jnl`	Mobiprox: Supporting Dynamic Approximate Computing on Mobiles. CoRR Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic
2023	A*	`conf`	Provable Defense Against Geometric Transformations. ICLR Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
2023	J	`jnl`	Synthesizing Precise Static Analyzers for Automatic Differentiation. Proc. ACM Program. Lang. Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
2023	A	`conf`	ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. DATE Ashitabh Misra, Jacob Laurel, Sasa Misailovic
2022	J	`jnl`	A dual number abstraction for static analysis of Clarke Jacobians. Proc. ACM Program. Lang. Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
2022	J	`jnl`	A general construction for abstract interpretation of higher-order automatic differentiation. Proc. ACM Program. Lang. Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
2022	J	`jnl`	Automated quantized inference for probabilistic programs with AQUA. Innov. Syst. Softw. Eng. Zixin Huang, Saikat Dutta, Sasa Misailovic
2022	J	`jnl`	Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2022	J	`jnl`	HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems. IEEE Micro Adel Ejjeh, Aaron Councilman, Akash Kothari, Maria Kotsifakou, Leon Medvinsky, Abdul Rafae Noor, Hashim Sharif, Yifan Zhao, Sarita V. Adve, Sasa Misailovic, Vikram S. Adve
2022	J	`jnl`	Proof transfer for fast certification of multiple approximate neural networks. Proc. ACM Program. Lang. Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2022	B	`conf`	SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. FASE Saikat Dutta, Zixin Huang, Sasa Misailovic
2022	A	`conf`	To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects. ICST Saikat Dutta, Anshul Arunachalam, Sasa Misailovic
2022	J	`jnl`	Training Certifiably Robust Neural Networks Against Semantic Perturbations. CoRR Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
2022	J	`jnl`	Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2021	B	`conf`	AQUA: Automated Quantized Inference for Probabilistic Programs. ATVA Zixin Huang, Saikat Dutta, Sasa Misailovic
2021	B	`conf`	ApproxTuner: a compiler and runtime system for adaptive approximations. PPoPP Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Ben Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
2021	B	`conf`	Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. RV Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
2021	J	`jnl`	Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Comput. Surv. Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey
2021	—	`conf`	FLEX: fixing flaky tests in machine learning projects by updating assertion bounds. ESEC/SIGSOFT FSE Saikat Dutta, August Shi, Sasa Misailovic
2021	A*	`conf`	Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. DAC Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
2021	A	`conf`	TERA: optimizing stochastic regression tests in machine learning projects. ISSTA Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
2021	J	`jnl`	Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2021	A*	`conf`	WiDir: A Wireless-Enabled Directory Cache Coherence Protocol. HPCA Antonio Franques, Apostolos Kokolis, Sergi Abadal, Vimuth Fernando, Sasa Misailovic, Josep Torrellas
2020	A	`conf`	Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. CGO Keyur Joshi, Vimuth Fernando, Sasa Misailovic
2020	J	`jnl`	Augmented example-based synthesis using relational perturbation properties. Proc. ACM Program. Lang. Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
2020	A	`conf`	Continualization of Probabilistic Programs With Correction. ESOP Jacob Laurel, Sasa Misailovic
2020	A	`conf`	Detecting flaky tests in probabilistic and machine learning applications. ISSTA Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic
2020	J	`jnl`	Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
2020	—	`conf`	Predictive constraint solving and analysis. ICSE (NIER) Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2020	—	`ch.`	Programming Unreliable Hardware. Foundations of Probabilistic Programming Michael Carbin, Sasa Misailovic
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2020	A	`conf`	V-Combiner: speeding-up iterative graph processing on a shared-memory platform with vertex merging. ICS Azin Heidarshenas, Serif Yesil, Dimitrios Skarlatos, Sasa Misailovic, Adam Morrison, Josep Torrellas
2019	J	`jnl`	ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. Proc. ACM Program. Lang. Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
2019	A*	`conf`	Minotaur: Adapting Software Testing Techniques for Hardware Errors. ASPLOS Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
2019	J	`jnl`	Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2019	A*	`conf`	Replica: A Wireless Manycore for Communication-Intensive and Approximate Data. ASPLOS Vimuth Fernando, Antonio Franques, Sergi Abadal, Sasa Misailovic, Josep Torrellas
2019	A	`conf`	Resurgence of Regression Test Selection for C++. ICST Ben Fu, Sasa Misailovic, Milos Gligoric
2019	Misc	`conf`	Special Session: Does Approximation Make Testing Harder (or Easier)? VTS R. Iris Bahar, Ulya R. Karpuzcu, Sasa Misailovic
2019	A*	`conf`	Statistical algorithmic profiling for randomized approximate programs. ICSE Keyur Joshi, Vimuth Fernando, Sasa Misailovic
2019	—	`conf`	Storm: program reduction for testing and debugging probabilistic programming systems. ESEC/SIGSOFT FSE Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic
2019	J	`jnl`	Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. Proc. ACM Program. Lang. Vimuth Fernando, Keyur Joshi, Sasa Misailovic
2019	A	`conf`	gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. DSN Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
2018	J	`jnl`	A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2018	A	`conf`	Approximate Transformations as Mutation Operators. ICST Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
2018	A*	`conf`	Bayonet: probabilistic inference for networks. PLDI Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev
2018	J	`jnl`	Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms. CoRR Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey
2018	—	`conf`	Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
2018	B	`conf`	PSense: Automatic Sensitivity Analysis for Probabilistic Programs. ATVA Zixin Huang, Zhenbang Wang, Sasa Misailovic
2018	—	`conf`	Testing probabilistic programming systems. ESEC/SIGSOFT FSE Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
2018	—	`conf`	VideoChef: Efficient Approximation for Streaming Video Processing Pipelines. USENIX ATC Ran Xu, Jinkyu Koo, Rakesh Kumar, Peter Bai, Subrata Mitra, Sasa Misailovic, Saurabh Bagchi
2017	J	`jnl`	Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
2017	—	`conf`	Mutation Testing Meets Approximate Computing. ICSE-NIER Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
2017	A	`conf`	Phase-aware optimization in approximate computing. CGO Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi
2017	Misc	`conf`	Probabilistic reasoning for analysis of approximate computations. CASES Sasa Misailovic
2016	—	`conf`	PSI: Exact Symbolic Inference for Probabilistic Programs. CAV (1) Timon Gehr, Sasa Misailovic, Martin T. Vechev
2016	J	`jnl`	Verifying quantitative reliability for programs that execute on unreliable hardware. Commun. ACM Michael Carbin, Sasa Misailovic, Martin C. Rinard
2015	Misc	`conf`	Accuracy-aware optimization of approximate programs. CASES Sasa Misailovic
2015	—	`—`	Accuracy-aware optimization of approximate programs. Sasa Misailovic
2015	J	`jnl`	Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
2015	—	`conf`	Software Engineering Meets Control Theory. SEAMS@ICSE Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
2014	A	`conf`	Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. OOPSLA Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
2013	J	`jnl`	Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
2013	C	`conf`	Verified integrity properties for safe approximate program transformations. PEPM Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
2013	A	`conf`	Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA Michael Carbin, Sasa Misailovic, Martin C. Rinard
2012	A	`conf`	Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard
2012	—	`conf`	Dancing with uncertainty. RACES@SPLASH Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard
2012	A*	`conf`	Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
2012	A*	`conf`	Randomized accuracy-aware program transformations for efficient approximate computations. POPL Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard
2011	A	`conf`	Detecting and Escaping Infinite Loops with Jolt. ECOOP Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
2011	A*	`conf`	Dynamic knobs for responsive power-aware computing. ASPLOS Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard
2011	—	`conf`	Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard
2011	B	`conf`	Probabilistically Accurate Program Transformations. SAS Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
2010	A	`conf`	Patterns and statistical analysis for understanding reduced resource computing. OOPSLA Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou
2010	—	`conf`	Quality of service profiling. ICSE (1) Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard
2007	A*	`conf`	Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
2007	—	`conf`	Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov