| |
Browse All Reviews > Software (D) > Software Engineering (D.2) > Testing And Debugging (D.2.5) > Tracing (D.2.5...)
|
|
 |
|
|
| |
|
|
| |
1-8 of 8
Reviews about "Tracing (D.2.5...)":
|
Date Reviewed |
| |
GPredict: generic predictive concurrency analysis
Huang J., Luo Q., Rosu G. ICSE 2015 (Proceedings of the 37th International Conference on Software Engineering, Florence, Italy, May 16-24, 2015) 847-857, 2015. Type: Proceedings
Predictive trace analysis (PTA) detects concurrency faults not recorded in the observed execution order of a nondeterminate concurrent program by producing and analyzing other feasible execution orders of events of the same program fro...
|
Oct 22 2015 |
| |
A method and tool for tracing requirements into specifications
Hallerstede S., Jastram M., Ladenberger L. Science of Computer Programming 822-21, 2014. Type: Article
Formalizing informal specifications requires traceability. System descriptions are rarely fully formalized right from the start. Assumptions on the environment and requirements of the system are often specified semi-formally or as a mi...
|
Oct 22 2014 |
| |
Lossless Trace Compression
Johnson E., Ha J., Zaidi M. IEEE Transactions on Computers 50(2): 158-173, 2001. Type: Article
Performance evaluation of computer systems often relies on the offline analysis of traces of actual program execution. A trace of even a few seconds can record millions of events, so the size of trace files can get out of hand quickly....
|
Oct 1 2001 |
| |
Optimally profiling and tracing programs
Ball T., Larus J. ACM Transactions on Programming Languages and Systems 16(4): 1319-1360, 1994. Type: Article
Ball and Larus describe algorithms they developed for profiling and tracing programs. The components to be analyzed can be either the vertices of the program graph or its edges. The profile counts for the vertices can be deduced from t...
|
Jul 1 1995 |
| |
Effectiveness of trace sampling for performance debugging tools
Martonosi M., Gupta A., Anderson T. ACM SIGMETRICS Performance Evaluation Review 21(1): 248-259, 1993. Type: Article
Cache simulation tools can provide valuable information for use in tuning applications for better memory performance. The overhead of a complete cache simulation can be substantial enough to inhibit its frequent use, however....
|
Jul 1 1994 |
| |
A mechanism for efficient debugging of parallel programs
Miller B., Choi J. ACM SIGPLAN Notices 24(1): 141-150, 1989. Type: Article
The authors present the Parallel Program Debugger (PPD), a system for debugging parallel programs that run on shared memory multiprocessors. Their approach to parallel debugging uses compile-time and debugging-time analysis to reduce t...
|
Sep 1 1990 |
| |
A probe effect in concurrent programs
Gait J. Software--Practice & Experience 16(3): 225-233, 1986. Type: Article
We have all experienced programs which, like children, behave perfectly when being monitored, but cease to do so as soon as they are unleashed in a real environment. In this short paper, the author is concerned with this effect in the ...
|
Sep 1 1986 |
| |
Experience with a portable debugging tool
Steffen J. Software--Practice & Experience 14(4): 323-334, 1984. Type: Article
Statement tracing in the languag the programmer is working in is usually the best kind of debugging aid. This paper describes a portable debugger (caled Ctrace) “that prints each statement before it executes [and] gives the ...
|
Feb 1 1985 |
| |
|
|
| |
|
|
