Works matching IS 00985589 AND DT 2010 AND VI 36 AND IP 4

Results: 10

Editorial: How Special Should Issues Be?

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 449, doi. 10.1109/TSE.2010.75

By:

Nuseibeh, Bashar

Publication type:

Article

Proofs from Tests.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 494, doi. 10.1109/TSE.2010.49

By:

Beckman, Nels E.;
Nori, Aditya V.;
Rajamani, Sriram K.;
Simmons, Robert J.;
Tetali, Sai Deep;
Thakur, Aditya V.

Publication type:

Article

Introduction: The Best Papers of ISSTA 2008.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 451, doi. 10.1109/TSE.2010.76

By:

Ryder, Barbara G.;
Zeller, Andreas

Publication type:

Article

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 474, doi. 10.1109/TSE.2010.31

By:

Artzi, Shay;
Kieżun, Adam;
Dolby, Julian;
Tip, Frank;
Dig, Danny;
Paradkar, Amit;
Ernst, Michael D.

Publication type:

Article

Aspect-Oriented Race Detection in Java.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 509, doi. 10.1109/TSE.2010.25

By:

Bodden, Eric;
Havelund, Klaus

Publication type:

Article

Assessing Software Service Quality and Trustworthiness at Selection Time.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 559, doi. 10.1109/TSE.2010.2

By:

Limam, Noura;
Boutaba, Raouf

Publication type:

Article

Evaluation of Accuracy in Design Pattern Occurrence Detection.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 575, doi. 10.1109/TSE.2009.92

By:

Pettersson, Niklas;
Löwe, Welf;
Nivre, Joakim

Publication type:

Article

The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 528, doi. 10.1109/TSE.2009.87

By:

Baah, George K.;
Podgurski, Andy;
Harrold, Mary Jean

Publication type:

Article

Learning a Metric for Code Readability.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 546, doi. 10.1109/TSE.2009.70

By:

Buse, Raymond P. L.;
Weimer, Westley R.

Publication type:

Article

An Experience in Testing the Security of Real-World Electronic Voting Systems.

Published in:

IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 453, doi. 10.1109/TSE.2009.53

By:

Balzarotti, Davide;
Banks, Greg;
Cova, Marco;
Felmetsger, Viktoria;
Kemmerer, Richard A.;
Robertson, William;
Valeur, Fredrik;
Vigna, Giovanni

Publication type:

Article