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)

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

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

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

Aspect-Oriented Race Detection in Java (Abstract)

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

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

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

Learning a Metric for Code Readability (Abstract)

Raymond P.L. Buse , University of Virginia, Charlottesville
Westley R. Weimer , 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)

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
81 ms
(Ver 3.3 (11022016))