Works matching IS 00985589 AND DT 2002 AND VI 28 AND IP 2

Results: 7

Multiphase Stabilization.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 201, doi. 10.1109/32.988499

By:

Gouda, Mohamed G.

Publication type:

Article

Simplifying and Isolating Failure-Inducing Input.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 183, doi. 10.1109/32.988498

By:

Zeller, Andreas;
Hildebrandt, Ralf

Publication type:

Article

Test Case Prioritization: A Family of Empirical Studies.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 159, doi. 10.1109/32.988497

By:

Elbaum, Sebastian;
Malishevsky, Alexey G.;
Rothermel, Gregg

Publication type:

Article

Requirements-Based Monitors for Real-Time Systems.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 146, doi. 10.1109/32.988496

By:

Peters, Dennis K.;
Parnas, David Lorge

Publication type:

Article

Verisim: Formal Analysis of Network Simulations.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 129, doi. 10.1109/32.988495

By:

Bhargavan, Karthikeyan;
Gunter, Carl A.;
Kim, Moonjoo;
Lee, Insup;
Obradovic, Davor;
Sokolsky, Oleg;
Viswanathan, Mahesh

Publication type:

Article

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 115, doi. 10.1109/32.988494

By:

Siegel, Stephen F.;
Avrunin, George S.

Publication type:

Article

Guest Editor' Introduction: 2000 International Symposium on Software Testing and Analysis.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 113, doi. 10.1109/TSE.2002.988493

By:

Harrold, Mary Jean;
Bertolino, Antonia

Publication type:

Article