Advanced Search 
IEEE Transactions on Software Engineering
July/August 2010 (vol. 36 no. 4)
ISSN: 0098-5589
Table of Contents
EDITORIAL
SPECIAL SECTION ON ISSTA
Davide Balzarotti, Eurecom Institute, Sophia Antipolis, France
Greg Banks, University of California, Santa Barbara, Santa Barbara
Marco Cova, University of California, Santa Barbara, Santa Barbara
Viktoria Felmetsger, University of California, Santa Barbara, Santa Barbara
Richard A. Kemmerer, University of California, Santa Barbara, Santa Barbara
William Robertson, University of California, Santa Barbara, Santa Barbara
Fredrik Valeur, University of California, Santa Barbara, Santa Barbara
Giovanni Vigna, University of California, Santa Barbara, Santa Barbara
pp. 453-473
Shay Artzi, Thomas J. Watson Research Center, Hawthorne
Adam Kieżun, Women's Hospital/Harvard Medical School, Boston
Julian Dolby, Thomas J. Watson Research Center, Hawthorne
Frank Tip, Thomas J. Watson Research Center, Hawthorne
Danny Dig, University of Illinois at Urbana-Champaign, Urbana
Amit Paradkar, Thomas J. Watson Research Center, Hawthorne
Michael D. Ernst, University of Washington, Seattle
pp. 474-494
Proofs from Tests (Abstract)
Nels E. Beckman, Carnegie Mellon University, Pittsburgh
Aditya V. Nori, Microsoft Research India, Bangalore
Sriram K. Rajamani, Microsoft Research India, Bangalore
Robert J. Simmons, Carnegie Mellon University, Pittsburgh
Sai Deep Tetali, University of California, Los Angeles, Los Angeles
Aditya V. Thakur, University of Wisconsin-Madison, Madison
pp. 495-508
Eric Bodden, Technical University Darmstadt, Darmstadt
Klaus Havelund, California Institute of Technology, Pasadena
pp. 509-527
George K. Baah, Georgia Institute of Technology, Atlanta
Andy Podgurski, Case Western Reserve University, Cleveland
Mary Jean Harrold, Georgia Institute of Technology, Atlanta
pp. 528-545
Raymond P.L. Buse, University of Virginia, Charlottesville
Westley R. Weimer, University of Virginia, Charlottesville
pp. 546-558
REGULAR PAPERS
Noura Limam, POSTECH-Pohang University of Science and Technology, Pohang
Raouf Boutaba, University of Waterloo, Waterloo
pp. 559-574
Online Only: Erratum(PDF)
Niklas Pettersson, Växjö University, Växjö
Welf Löwe, Växjö University, Växjö
Joakim Nivre, Växjö University, Växjö
pp. 575-590
Usage of this product signifies your acceptance of the Terms of Use.