article

Abstract execution: a technique for efficiently tracing programs

Author:

J. R. LarusAuthors Info & Claims

Software—Practice & Experience, Volume 20, Issue 12

Pages 1241 - 1258

https://doi.org/10.1002/spe.4380201205

Published: 15 November 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Wang HZhai JTang XYu BMa XChen WGunawi HReed B(2018)SpindleProceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference10.5555/3277355.3277410(561-573)Online publication date: 11-Jul-2018
https://dl.acm.org/doi/10.5555/3277355.3277410
Wu RXiao XCheung SZhang HZhang C(2016)Casper: an efficient approach to call trace collectionACM SIGPLAN Notices10.1145/2914770.283761951:1(678-690)Online publication date: 11-Jan-2016
https://dl.acm.org/doi/10.1145/2914770.2837619
Wu RXiao XCheung SZhang HZhang CBodik RMajumdar R(2016)Casper: an efficient approach to call trace collectionProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2837614.2837619(678-690)Online publication date: 11-Jan-2016
https://dl.acm.org/doi/10.1145/2837614.2837619
Show More Cited By

Index Terms

Abstract execution: a technique for efficiently tracing programs
1. Information systems
  1. Data management systems
    1. Data structures
      1. Data layout
        Data compression
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
  2. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types

Recommendations

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction
ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis

Debugging long running multithreaded programs is a very challenging problem when using tracing-based analyses. Since such programs are non-deterministic, reproducing the bug is non-trivial and generating and inspecting traces for long running programs ...
Runtime exception detection in Java programs using symbolic execution

Most of the runtime failures of a software system can be revealed during test execution only, which has a very high cost. In Java programs, runtime failures are manifested as unhandled runtime exceptions.

In this paper we present an approach and tool ...
Shared Execution for Efficiently Testing Product Lines
ISSRE '12: Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering

A software product line (SPL) is a family of related programs, each of which is uniquely defined by a combination of features. Testing an SPL requires running each of its programs, which may be computationally expensive as the number of programs in an ...

Comments

Information & Contributors

Information

Published In

Software Volume 20, Issue 12

Dec. 1990

102 pages

ISSN:0038-0644

EISSN:1097-024X

Editors:
J. A. Campbell
University College, London, UK
,
D. E. Comer
Purdue Univ., West Lafayette, IN

Issue’s Table of Contents

Publisher

John Wiley & Sons, Inc.

United States

Publication History

Published: 15 November 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

64
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wang HZhai JTang XYu BMa XChen WGunawi HReed B(2018)SpindleProceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference10.5555/3277355.3277410(561-573)Online publication date: 11-Jul-2018
https://dl.acm.org/doi/10.5555/3277355.3277410
Wu RXiao XCheung SZhang HZhang C(2016)Casper: an efficient approach to call trace collectionACM SIGPLAN Notices10.1145/2914770.283761951:1(678-690)Online publication date: 11-Jan-2016
https://dl.acm.org/doi/10.1145/2914770.2837619
Wu RXiao XCheung SZhang HZhang CBodik RMajumdar R(2016)Casper: an efficient approach to call trace collectionProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2837614.2837619(678-690)Online publication date: 11-Jan-2016
https://dl.acm.org/doi/10.1145/2837614.2837619
Railing BHein EConte T(2015)ContechACM Transactions on Architecture and Code Optimization10.1145/277689312:2(1-24)Online publication date: 8-Jul-2015
https://dl.acm.org/doi/10.1145/2776893
Saha DDhoolia PPaul GMeyer BBaresi LMezini M(2013)Distributed program tracingProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2491451(180-190)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2491451
Thomas JFischmeister SKumar D(2011)Lowering overhead in sampling-based execution monitoring and tracingACM SIGPLAN Notices10.1145/2016603.196769246:5(101-110)Online publication date: 11-Apr-2011
https://dl.acm.org/doi/10.1145/2016603.1967692
Thomas JFischmeister SKumar DVitek JDe Sutter B(2011)Lowering overhead in sampling-based execution monitoring and tracingProceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems10.1145/1967677.1967692(101-110)Online publication date: 11-Apr-2011
https://dl.acm.org/doi/10.1145/1967677.1967692
Zhong YChang WJones RBlackburn S(2008)Sampling-based program locality approximationProceedings of the 7th international symposium on Memory management10.1145/1375634.1375648(91-100)Online publication date: 7-Jun-2008
https://dl.acm.org/doi/10.1145/1375634.1375648
Wang TRoychoudhury A(2008)Dynamic slicing on Java bytecode tracesACM Transactions on Programming Languages and Systems10.1145/1330017.133002130:2(1-49)Online publication date: 14-Mar-2008
https://dl.acm.org/doi/10.1145/1330017.1330021
Özmen A(2006)An entropy-based algorithm for time-driven software instrumentation in parallel systemsProceedings of the 20th international conference on Parallel and distributed processing10.5555/1898699.1898874(331-331)Online publication date: 25-Apr-2006
https://dl.acm.org/doi/10.5555/1898699.1898874
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction

Runtime exception detection in Java programs using symbolic execution

Shared Execution for Efficiently Testing Product Lines

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations