Search Results - "GLIGORIC, MILOS"

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

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

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

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

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

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

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

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

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

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

SBOM generation based on code-level external component trees.

Authors: Kong X Zhuo H Miao X et al.

Source: Scientific reports [Sci Rep] 2025 Nov 24; Vol. 15 (1), pp. 45277. Date of Electronic Publication: 2025 Nov 24.

Publication Type: Journal Article

Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE; PubMed not MEDLINE

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