The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 04 - July/August (vol. 36)
ISSN: 0098-5589
EDITORIAL
SPECIAL SECTION ON ISSTA

An Experience in Testing the Security of Real-World Electronic Voting Systems (Abstract)

Viktoria Felmetsger , University of California, Santa Barbara, Santa Barbara
Greg Banks , University of California, Santa Barbara, Santa Barbara
Giovanni Vigna , 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
Marco Cova , University of California, Santa Barbara, Santa Barbara
Davide Balzarotti , Eurecom Institute, Sophia Antipolis, France
pp. 453-473

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking (Abstract)

Michael D. Ernst , University of Washington, Seattle
Shay Artzi , Thomas J. Watson Research Center, Hawthorne
Adam Kieżun , Women's Hospital/Harvard Medical School, Boston
Amit Paradkar , Thomas J. Watson Research Center, Hawthorne
Danny Dig , University of Illinois at Urbana-Champaign, Urbana
Frank Tip , Thomas J. Watson Research Center, Hawthorne
Julian Dolby , Thomas J. Watson Research Center, Hawthorne
pp. 474-494

Proofs from Tests (Abstract)

Nels E. Beckman , Carnegie Mellon University, Pittsburgh
Sriram K. Rajamani , Microsoft Research India, Bangalore
Aditya V. Thakur , University of Wisconsin-Madison, Madison
Robert J. Simmons , Carnegie Mellon University, Pittsburgh
Aditya V. Nori , Microsoft Research India, Bangalore
Sai Deep Tetali , University of California, Los Angeles, Los Angeles
pp. 495-508

Aspect-Oriented Race Detection in Java (Abstract)

Klaus Havelund , California Institute of Technology, Pasadena
Eric Bodden , Technical University Darmstadt, Darmstadt
pp. 509-527

The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis (Abstract)

Andy Podgurski , Case Western Reserve University, Cleveland
George K. Baah , Georgia Institute of Technology, Atlanta
Mary Jean Harrold , Georgia Institute of Technology, Atlanta
pp. 528-545

Learning a Metric for Code Readability (Abstract)

Westley R. Weimer , University of Virginia, Charlottesville
Raymond P.L. Buse , University of Virginia, Charlottesville
pp. 546-558
REGULAR PAPERS

Assessing Software Service Quality and Trustworthiness at Selection Time (Abstract)

Noura Limam , POSTECH-Pohang University of Science and Technology, Pohang
Raouf Boutaba , University of Waterloo, Waterloo
pp. 559-574

Evaluation of Accuracy in Design Pattern Occurrence Detection (Abstract)

Joakim Nivre , Växjö University, Växjö
Niklas Pettersson , Växjö University, Växjö
Welf Löwe , Växjö University, Växjö
pp. 575-590
89 ms
(Ver 3.1 (10032016))