Search Results - "GLIGORIC, MILOS"

exLong: Generating Exceptional Behavior Tests with Large Language Models.

Authors: Zhang, Jiyang Liu, Yu Nie, Pengyu et al.

Source: ICSE: International Conference on Software Engineering; 2025, p1610-1621, 13p

Performance Characterization of Python Runtimes for Multi-device Task Parallel Programming.

Authors: Ruys, William Lee, Hochan You, Bozhi et al.

Source: International Journal of Parallel Programming; Apr2025, Vol. 53 Issue 2, p1-24, 24p

JOG: Java JIT Peephole Optimizations and Tests from Patterns.

Authors: Zang, Zhiqiang Thimmaiah, Aditya Gligoric, Milos

Source: ICSE: International Conference on Software Engineering; 2024, p11-15, 5p

Object Graph Programming.

Authors: Thimmaiah, Aditya Lampropoulos, Leonidas Rossbach, Christopher et al.

Source: ICSE: International Conference on Software Engineering; 2024, p1-13, 13p

pytest-Inline: An Inline Testing Tool for Python.

Authors: Liu, Yu Thurston, Zachary Han, Alan et al.

Source: ICSE: International Conference on Software Engineering; 2023, p161-164, 4p

JAttack: Java JIT Testing Using Template Programs.

Authors: Zang, Zhiqiang Yu, Fu-Yao Wiatrek, Nathan et al.

Source: ICSE: International Conference on Software Engineering; 2023, p6-10, 5p

Learning Deep Semantics for Test Completion.

Authors: Nie, Pengyu Banerjee, Rahul Li, Junyi Jessy et al.

Source: ICSE: International Conference on Software Engineering; 2023, p2111-2123, 13p

PyKokkos: performance portable kernels in Python.

Authors: Awar, Nader Al Mehta, Neil Zhu, Steven et al.

Source: ICSE: International Conference on Software Engineering; 2022, p164-167, 4p

A Framework for Checking Regression Test Selection Tools.

Authors: Chenguang Zhu Legunsen, Owolabi Shi, August et al.

Source: ICSE: International Conference on Software Engineering; 5/25/2019, p430-441, 12p

A regression proof selection tool for coq.

Authors: Celik, Ahmet Palmskog, Karl Gligoric, Milos

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p117-120, 4p

Ekstazi: Lightweight Test Selection.

Authors: Gligoric, Milos Eloussi, Lamyaa Marinov, Darko

Source: ICSE: International Conference on Software Engineering; 2015, p713-716, 4p

Test generation through programming in UDITA.

Authors: Gligoric, Milos Gvero, Tihomir Jagannath, Vilas et al.

Source: ICSE: International Conference on Software Engineering; May2010, p225-234, 10p

State extensions for java pathfinder.

Authors: Gvero, Tihomir Gligoric, Milos Lauterburg, Steven et al.

Source: ICSE: International Conference on Software Engineering; May2008, p863-866, 4p

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

Authors: GLIGORIC, MILOS GROCE, ALEX CHAOQIANG ZHANG et al.

Source: ACM Transactions on Software Engineering & Methodology; 2015 SpecialIssue, Vol. 24, p22:1-22:33, 33p

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

Authors: Trott, Christian Berger-Vergiat, Luc Poliakoff, David et al.

Source: Computing in Science & Engineering; Sep/Oct2021, Vol. 23 Issue 5, p10-18, 9p

Efficient mutation testing of multithreaded code.

Authors: Gligoric, Milos Jagannath, Vilas Luo, Qingzhou et al.

Source: Software Testing: Verification & Reliability; Aug2013, Vol. 23 Issue 5, p375-403, 29p, 9 Diagrams, 14 Charts, 1 Graph

Precise semantic history slicing through dynamic delta refinement.

Authors: Li, Yi Zhu, Chenguang Gligoric, Milos et al.

Source: Automated Software Engineering; Dec2019, Vol. 26 Issue 4, p757-793, 37p

IMUnit.

Authors: Jagannath, Vilas Gligoric, Milos Jin, Dongyun et al.

Source: ICSE: International Conference on Software Engineering; May2010, p48-49, 2p

Model of room and pillar production planning in small scale underground mines with metal price and operating cost uncertainty.

Authors: Gligoric, Zoran Gligoric, Milos Dimitrijevic, Bojan et al.

Source: Resources Policy. Mar2020, Vol. 65, pN.PAG-N.PAG. 1p.