July 17th-21st, 2011, Toronto, ON, Canada

Powered by
Conference Publishing Consulting

2011 International Symposium on Software Testing and Analysis (ISSTA 2011), July 17–21, 2011, Toronto, ON, Canada

ISSTA 2011 – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P R S T V W X Y Z

Allwood, Tristan ISSTA'11-FULL: "High Coverage Testing of Haskell ..."
Arcuri, Andrea ISSTA'11-FULL: "Adaptive Random Testing: An ..."
Babić, Domagoj ISSTA'11-FULL: "Statically-Directed Dynamic ..."
Balasubramanian, Daniel ISSTA'11-FULL: "Polyglot: Modeling and Analysis ..."
Bao, Tao ISSTA'11-FULL: "Selecting Peers for Execution ..."
Berg, Ryan ISSTA'11-FULL: "Saving the World Wide Web ..."
Bernat, Andrew R. ISSTA'11-FULL: "Efficient, Sensitivity Resistant ..."
Briand, Lionel ISSTA'11-FULL: "Adaptive Random Testing: An ..."
Bu, Yingyi ISSTA'11-FULL: "Combined Static and Dynamic ..."
Bultan, Tevfik ISSTA'11-FULL: "Bounded Verification of Ruby ..."
Burger, Martin ISSTA'11-FULL: "Minimizing Reproduction of ..."
Burnim, Jacob ISSTA'11-FULL: "Testing Concurrent Programs ..."
Cadar, Cristian ISSTA'11-FULL: "High Coverage Testing of Haskell ..."
Cohen, Myra B. ISSTA'11-FULL: "Feedback Driven Adaptive Combinatorial ..."
De Halleux, Jonathan ISSTA'11-FULL: "eXpress: Guided Path Exploration ..."
DiGiuseppe, Nicholas ISSTA'11-FULL: "On the Influence of Multiple ..."
Dillon, Laura K. ISSTA'11-FULL: "Scalable Analysis of Conceptual ..."
Dolby, Julian ISSTA'11-FULL: "Saving the World Wide Web ..."
Dumlu, Emine ISSTA'11-FULL: "Feedback Driven Adaptive Combinatorial ..."
Eisenbach, Susan ISSTA'11-FULL: "High Coverage Testing of Haskell ..."
Engler, Dawson ISSTA'11-FULL: "Using Automatic Persistent ..."
Ernst, Michael D. ISSTA'11-FULL: "Combined Static and Dynamic ..."
Eschbach, Robert ISSTA'11-FULL: "Iterative Refinement of Specification ..."
Farchi, Eitan ISSTA'11-FULL: "Using Binary Decision Diagrams ..."
Fraser, Gordon ISSTA'11-FULL: "Generating Parameterized Unit ..."
Gligoric, Milos ISSTA'11-FULL: "CoDeSe: Fast Deserialization ..."
Godefroid, Patrice ISSTA'11-FULL: "Automatic Partial Loop Summarization ..."
Gross, Thomas R. ISSTA'11-FULL: "Detecting Anomalies in the ..."
Guarnieri, Salvatore ISSTA'11-FULL: "Saving the World Wide Web ..."
Gunter, Elsa L. ISSTA'11-FULL: "Automated Framework for Formal ..."
Guo, Philip J. ISSTA'11-FULL: "Using Automatic Persistent ..."
Huang, Jeff ISSTA'11-FULL: "Persuasive Prediction of Concurrency ..."
Jagannath, Vilas ISSTA'11-FULL: "Change-Aware Preemption Prioritization ..."
Jones, James A. ISSTA'11-FULL: "On the Influence of Multiple ..."
Kakarla, Sahitya ISSTA'11-FULL: "The Use of Mutation in Testing ..."
Kamin, Sam ISSTA'11-FULL: "CoDeSe: Fast Deserialization ..."
Karsai, Gábor ISSTA'11-FULL: "Polyglot: Modeling and Analysis ..."
Le, Wei ISSTA'11-FULL: "Generating Analyses for Detecting ..."
Liblit, Ben ISSTA'11-FULL: "Defective Error/Pointer Interactions ..."
Lowry, Michael ISSTA'11-FULL: "Polyglot: Modeling and Analysis ..."
Luchaup, Daniel ISSTA'11-FULL: "Automatic Partial Loop Summarization ..."
Luo, Qingzhou ISSTA'11-FULL: "Change-Aware Preemption Prioritization ..."
Marinov, Darko ISSTA'11-FULL: "CoDeSe: Fast Deserialization ..." ISSTA'11-FULL: "Change-Aware Preemption Prioritization ..."
Martignoni, Lorenzo ISSTA'11-FULL: "Statically-Directed Dynamic ..."
McCamant, Stephen ISSTA'11-FULL: "Statically-Directed Dynamic ..."
McGill, Matthew J. ISSTA'11-FULL: "Scalable Analysis of Conceptual ..."
Miller, Barton P. ISSTA'11-FULL: "Efficient, Sensitivity Resistant ..." ISSTA'11-FULL: "Recovering the Toolchain Provenance ..."
Namin, Akbar Siami ISSTA'11-FULL: "The Use of Mutation in Testing ..."
Nijjar, Jaideep ISSTA'11-FULL: "Bounded Verification of Ruby ..."
Orso, Alessandro ISSTA'11-FULL: "Are Automated Debugging Techniques ..."
Parnin, Chris ISSTA'11-FULL: "Are Automated Debugging Techniques ..."
Păsăreanu, Corina S. ISSTA'11-FULL: "Symbolic Execution with Mixed ..." ISSTA'11-FULL: "Polyglot: Modeling and Analysis ..."
Pistoia, Marco ISSTA'11-FULL: "Path- and Index-sensitive ..." ISSTA'11-FULL: "Saving the World Wide Web ..."
Porter, Adam ISSTA'11-FULL: "Feedback Driven Adaptive Combinatorial ..."
Pradel, Michael ISSTA'11-FULL: "Detecting Anomalies in the ..."
Rosenblum, Nathan ISSTA'11-FULL: "Recovering the Toolchain Provenance ..."
Roundy, Kevin ISSTA'11-FULL: "Efficient, Sensitivity Resistant ..."
Rountev, Atanas ISSTA'11-FULL: "Demand-Driven Context-Sensitive ..."
Rubio-González, Cindy ISSTA'11-FULL: "Defective Error/Pointer Interactions ..."
Rungta, Neha ISSTA'11-FULL: "Symbolic Execution with Mixed ..."
Saff, David ISSTA'11-FULL: "Combined Static and Dynamic ..."
Segall, Itai ISSTA'11-FULL: "Using Binary Decision Diagrams ..."
Sen, Koushik ISSTA'11-FULL: "Testing Concurrent Programs ..."
Shahbaz, Muzammil ISSTA'11-FULL: "Iterative Refinement of Specification ..."
Shashidhar, K. C. ISSTA'11-FULL: "Iterative Refinement of Specification ..."
Soffa, Mary Lou ISSTA'11-FULL: "Generating Analyses for Detecting ..."
Song, Dawn ISSTA'11-FULL: "Statically-Directed Dynamic ..."
Stergiou, Christos ISSTA'11-FULL: "Testing Concurrent Programs ..."
Stirewalt, R. E. K. ISSTA'11-FULL: "Scalable Analysis of Conceptual ..."
Sumner, William N. ISSTA'11-FULL: "Selecting Peers for Execution ..."
Taneja, Kunal ISSTA'11-FULL: "eXpress: Guided Path Exploration ..."
Tateishi, Takaaki ISSTA'11-FULL: "Path- and Index-sensitive ..."
Teilhet, Stephen ISSTA'11-FULL: "Saving the World Wide Web ..."
Tillmann, Nikolai ISSTA'11-FULL: "eXpress: Guided Path Exploration ..."
Tripp, Omer ISSTA'11-FULL: "Path- and Index-sensitive ..." ISSTA'11-FULL: "Saving the World Wide Web ..."
Tzoref-Brill, Rachel ISSTA'11-FULL: "Using Binary Decision Diagrams ..."
Visser, Willem ISSTA'11-FULL: "Symbolic Execution with Mixed ..."
Whalen, Michael W. ISSTA'11-FULL: "Polyglot: Modeling and Analysis ..."
Xiao, Xiao ISSTA'11-FULL: "Geometric Encoding: Forging ..."
Xie, Tao ISSTA'11-FULL: "eXpress: Guided Path Exploration ..."
Xu, Guoqing ISSTA'11-FULL: "Demand-Driven Context-Sensitive ..."
Yan, Dacong ISSTA'11-FULL: "Demand-Driven Context-Sensitive ..."
Yasmeen, Ayesha ISSTA'11-FULL: "Automated Framework for Formal ..."
Yilmaz, Cemal ISSTA'11-FULL: "Feedback Driven Adaptive Combinatorial ..."
Zeller, Andreas ISSTA'11-FULL: "Minimizing Reproduction of ..." ISSTA'11-FULL: "Generating Parameterized Unit ..."
Zhang, Charles ISSTA'11-FULL: "Geometric Encoding: Forging ..." ISSTA'11-FULL: "Persuasive Prediction of Concurrency ..."
Zhang, Jian ISSTA'11-FULL: "Characterizing Failure-Causing ..."
Zhang, Sai ISSTA'11-FULL: "Combined Static and Dynamic ..."
Zhang, Xiangyu ISSTA'11-FULL: "Selecting Peers for Execution ..."
Zhang, Zhiqiang ISSTA'11-FULL: "Characterizing Failure-Causing ..."
Zhu, Xiaojin ISSTA'11-FULL: "Recovering the Toolchain Provenance ..."

91 authors

proc time: 2.14