Article

Trace Theory

Author:

Antoni W. MazurkiewiczAuthors Info & Claims

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II

Pages 279 - 324

Published: 08 September 1986 Publication History

Abstract

No abstract available.

Cited By

View all

Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey PZhang DMøller A(2019)Optimal context-sensitive dynamic partial order reduction with observersProceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3293882.3330565(352-362)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3293882.3330565
Tabaei Befrouei MWang CWeissenbacher G(2016)Abstraction and mining of traces to explain concurrency bugsFormal Methods in System Design10.1007/s10703-015-0240-549:1-2(1-32)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1007/s10703-015-0240-5
Sen KStirewalt KEgyed AFischer B(2007)Effective random testing of concurrent programsProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering10.1145/1321631.1321679(323-332)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.1145/1321631.1321679
Show More Cited By

Recommendations

Lossless Trace Compression

The tremendous storage space required for a useful data base of program traces has prompted a search for trace reduction techniques. In this paper, we discuss a range of information-lossless address and instruction trace compression schemes that can ...
On trace inclusion optimization problems

The following four optimization problems over a finite set of traces are considered: (i) find the longest trace that is included in each trace from a given finite set T of traces, (ii) find the shortest trace that is not included in every trace from a ...
Reducing irrelevant trace variations
ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

Identifying truly distinct traces is crucial for the performance and practicality of many dynamic analysis activities. For example, given a trace pool resulting from program failures, identifying the set of distinct traces can reduce the debugging ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II

September 1986

508 pages

ISBN:3540179062

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 08 September 1986

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey PZhang DMøller A(2019)Optimal context-sensitive dynamic partial order reduction with observersProceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3293882.3330565(352-362)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3293882.3330565
Tabaei Befrouei MWang CWeissenbacher G(2016)Abstraction and mining of traces to explain concurrency bugsFormal Methods in System Design10.1007/s10703-015-0240-549:1-2(1-32)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1007/s10703-015-0240-5
Sen KStirewalt KEgyed AFischer B(2007)Effective random testing of concurrent programsProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering10.1145/1321631.1321679(323-332)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.1145/1321631.1321679
Green R(2004)Acyclic Heaps of Pieces, IJournal of Algebraic Combinatorics: An International Journal10.1023/B:JACO.0000023005.85555.3719:2(173-196)Online publication date: 1-Mar-2004
https://dl.acm.org/doi/10.1023/B%3AJACO.0000023005.85555.37
King P(1991)Formalization of Protocol Engineering ConceptsIEEE Transactions on Computers10.1109/12.8846040:4(387-403)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1109/12.88460
Janicki RMuldner TSood A(1990)A simple realization of a parallel device recognizing regular trace languagesProceedings of the 1990 ACM annual conference on Cooperation10.1145/100348.100371(147-153)Online publication date: 1-Jan-1990
https://dl.acm.org/doi/10.1145/100348.100371

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Lossless Trace Compression

On trace inclusion optimization problems

Reducing irrelevant trace variations

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations