Works matching IS 00985589 AND DT 2001 AND VI 27 AND IP 8
Results: 6
Reversible Debugging Using Program Instrumentation.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 8, p. 715, doi. 10.1109/32.940726
- By:
- Publication type:
- Article
Erratum.
- Published in:
- 2001
- By:
- Publication type:
- Correction Notice
Static Analysis and Dynamic Steering of Time-Dependent Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 8, p. 728, doi. 10.1109/32.940727
- By:
- Publication type:
- Article
Techniques to Tackle State Explosion in Global Predicate Detection.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 8, p. 704, doi. 10.1109/32.940566
- By:
- Publication type:
- Article
Defining and Applying Measures of Distance Between Specifications.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 8, p. 673, doi. 10.1109/32.940565
- By:
- Publication type:
- Article
Formal Analysis of a Space-Craft Controller Using SPIN.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 8, p. 749, doi. 10.1109/32.940728
- By:
- Publication type:
- Article