The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (vol.36)
ISSN: 0098-5589
TABLE OF CONTENTS
EDITORIAL
SPECIAL SECTION ON ISSTA
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
Davide Balzarotti , Eurecom Institute, Sophia Antipolis, France
pp. 453-473
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
pp. 509-527
George K. Baah , Georgia Institute of Technology, Atlanta
Mary Jean Harrold , Georgia Institute of Technology, Atlanta
pp. 528-545
Raymond P.L. Buse , 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
Welf Löwe , Växjö University, Växjö
Joakim Nivre , Växjö University, Växjö
pp. 575-590
33 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool