July 15th-20th, 2012, Minneapolis, MN, USA
Powered by
Conference Publishing Consulting

2012 International Symposium on Software Testing and Analysis (ISSTA), July 15–20, 2012, Minneapolis, MN, USA

ISSTA 2012 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

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

Ahn, Jaemin ISSTA'12-FULL: "Testing Concurrent Programs ..."
Alkhalaf, Muath ISSTA'12-FULL: "ViewPoints: Differential String ..."
Alshahwan, Nadia ISSTA'12-FULL: "State Aware Test Case Regeneration ..."
Arcuri, Andrea ISSTA'12-FULL: "Empirical Investigation of ..."
Balzarotti, Davide ISSTA'12-FULL: "A Quantitative Study of Accuracy ..."
Bodden, Eric ISSTA'12-FULL: "RefaFlex: Safer Refactorings ..."
Briand, Lionel ISSTA'12-FULL: "Empirical Investigation of ..."
Bultan, Tevfik ISSTA'12-FULL: "ViewPoints: Differential String ..."
Caballero, Juan ISSTA'12-FULL: "Undangle: Early Detection ..."
Canali, Davide ISSTA'12-FULL: "A Quantitative Study of Accuracy ..."
Chan, W. K. ISSTA'12-FULL: "CARISMA: a Context-sensitive ..."
Chang, Bor-Yuh Evan ISSTA'12-FULL: "Measuring Enforcement Windows ..."
Chen, Yang ISSTA'12-FULL: "Swarm Testing ..."
Choudhary, Shauvik Roy ISSTA'12-FULL: "ViewPoints: Differential String ..."
Christodorescu, Mihai ISSTA'12-FULL: "A Quantitative Study of Accuracy ..."
Cobb, Jake ISSTA'12-FULL: "Efficient Regression Testing ..."
Coughlin, Devin ISSTA'12-FULL: "Measuring Enforcement Windows ..."
Csallner, Christoph ISSTA'12-FULL: "Residual Investigation: Predictive ..."
Disney, Tim ISSTA'12-FULL: "Cooperative Types for Controlling ..."
Diwan, Amer ISSTA'12-FULL: "Measuring Enforcement Windows ..."
Dwyer, Matthew B. ISSTA'12-FULL: "Compositional Load Test Generation ..." ISSTA'12-FULL: "Probabilistic Symbolic Execution ..."
Eide, Eric ISSTA'12-FULL: "Swarm Testing ..."
Elbaum, Sebastian ISSTA'12-FULL: "Compositional Load Test Generation ..."
Ernst, Michael D. ISSTA'12-FULL: "Finding Errors in Multithreaded ..."
Fazzini, Mattia ISSTA'12-FULL: "ViewPoints: Differential String ..."
Flanagan, Cormac ISSTA'12-FULL: "Cooperative Types for Controlling ..." ISSTA'12-FULL: "Detecting Inconsistencies ..."
Fraser, Gordon ISSTA'12-FULL: "Isolating Failure Causes through ..." ISSTA'12-FULL: "Search-Based System Testing: ..."
Freund, Stephen N. ISSTA'12-FULL: "Cooperative Types for Controlling ..."
Fry, Zachary P. ISSTA'12-FULL: "A Human Study of Patch Maintainability ..."
Geldenhuys, Jaco ISSTA'12-FULL: "Probabilistic Symbolic Execution ..."
Grieco, Gustavo ISSTA'12-FULL: "Undangle: Early Detection ..."
Groce, Alex ISSTA'12-FULL: "Swarm Testing ..."
Gross, Florian ISSTA'12-FULL: "Search-Based System Testing: ..."
Gross, Thomas R. ISSTA'12-FULL: "Static Detection of Brittle ..."
Harman, Mark ISSTA'12-FULL: "State Aware Test Case Regeneration ..."
Harrold, Mary Jean ISSTA'12-FULL: "Testing Concurrent Programs ..." ISSTA'12-FULL: "Efficient Regression Testing ..."
Heiniger, Severin ISSTA'12-FULL: "Static Detection of Brittle ..."
Hong, Shin ISSTA'12-FULL: "Understanding User Understanding: ..." ISSTA'12-FULL: "Testing Concurrent Programs ..."
Iqbal, Muhammad Zohaib ISSTA'12-FULL: "Empirical Investigation of ..."
Jensen, Simon Holm ISSTA'12-FULL: "Remedying the Eval that Men ..."
Jhi, Yoon-Chan ISSTA'12-FULL: "A First Step Towards Algorithm ..."
Jonsson, Peter A. ISSTA'12-FULL: "Remedying the Eval that Men ..."
Khurshid, Sarfraz ISSTA'12-FULL: "Regression Mutation Testing ..." ISSTA'12-FULL: "Memoized Symbolic Execution ..."
Kim, Mijung ISSTA'12-FULL: "Efficient Regression Testing ..."
Kim, Moonzoo ISSTA'12-FULL: "Understanding User Understanding: ..." ISSTA'12-FULL: "Testing Concurrent Programs ..."
Kirda, Engin ISSTA'12-FULL: "A Quantitative Study of Accuracy ..."
Kruegel, Christopher ISSTA'12-FULL: "ViewPoints: Differential String ..." ISSTA'12-FULL: "A Quantitative Study of Accuracy ..."
Kurc, Tahsin ISSTA'12-FULL: "Efficient Regression Testing ..."
Landau, Bryan ISSTA'12-FULL: "A Human Study of Patch Maintainability ..."
Lanzi, Andrea ISSTA'12-FULL: "A Quantitative Study of Accuracy ..."
Li, Kaituo ISSTA'12-FULL: "Residual Investigation: Predictive ..."
Li, Zhiyuan ISSTA'12-FULL: "Multi-slicing: A Compiler-Supported ..."
Liu, Peng ISSTA'12-FULL: "A First Step Towards Algorithm ..."
Lü, Hao ISSTA'12-FULL: "Finding Errors in Multithreaded ..."
Malhotra, Kunal ISSTA'12-FULL: "Efficient Regression Testing ..."
Marchetto, Alessandro ISSTA'12-FULL: "Combining Model-Based and ..."
Marinov, Darko ISSTA'12-FULL: "Regression Mutation Testing ..."
Marron, Mark ISSTA'12-FULL: "Undangle: Early Detection ..."
Mars, Jason ISSTA'12-FULL: "THeME: A System for Testing ..."
Møller, Anders ISSTA'12-FULL: "Remedying the Eval that Men ..."
Nappa, Antonio ISSTA'12-FULL: "Undangle: Early Detection ..."
Navathe, Shamkant B. ISSTA'12-FULL: "Efficient Regression Testing ..."
Nguyen, Cu D. ISSTA'12-FULL: "Combining Model-Based and ..."
Orso, Alessandro ISSTA'12-FULL: "ViewPoints: Differential String ..." ISSTA'12-FULL: "Isolating Failure Causes through ..." ISSTA'12-FULL: "Efficient Regression Testing ..."
Park, Sangmin ISSTA'12-FULL: "Testing Concurrent Programs ..."
Păsăreanu, Corina S. ISSTA'12-FULL: "Memoized Symbolic Execution ..."
Post, Andrew ISSTA'12-FULL: "Efficient Regression Testing ..."
Pradel, Michael ISSTA'12-FULL: "Static Detection of Brittle ..."
Regehr, John ISSTA'12-FULL: "Swarm Testing ..."
Reichenbach, Christoph ISSTA'12-FULL: "Residual Investigation: Predictive ..."
Rößler, Jeremias ISSTA'12-FULL: "Isolating Failure Causes through ..."
Rothermel, Gregg ISSTA'12-FULL: "Understanding User Understanding: ..."
Saltz, Joel ISSTA'12-FULL: "Efficient Regression Testing ..."
Siek, Jeremy G. ISSTA'12-FULL: "Measuring Enforcement Windows ..."
Smaragdakis, Yannis ISSTA'12-FULL: "Residual Investigation: Predictive ..."
Soffa, Mary Lou ISSTA'12-FULL: "THeME: A System for Testing ..."
Staats, Matt ISSTA'12-FULL: "Understanding User Understanding: ..."
Strejček, Jan ISSTA'12-FULL: "Abstracting Path Conditions ..."
Sui, Yulei ISSTA'12-FULL: "Static Memory Leak Detection ..."
Thies, Andreas ISSTA'12-FULL: "RefaFlex: Safer Refactorings ..."
Tomb, Aaron ISSTA'12-FULL: "Detecting Inconsistencies ..."
Tonella, Paolo ISSTA'12-FULL: "Combining Model-Based and ..."
Trtík, Marek ISSTA'12-FULL: "Abstracting Path Conditions ..."
Tse, T. H. ISSTA'12-FULL: "CARISMA: a Context-sensitive ..."
Visser, Willem ISSTA'12-FULL: "Probabilistic Symbolic Execution ..."
Walcott-Justice, Kristen ISSTA'12-FULL: "THeME: A System for Testing ..."
Weimer, Westley ISSTA'12-FULL: "A Human Study of Patch Maintainability ..."
Wu, Dinghao ISSTA'12-FULL: "A First Step Towards Algorithm ..."
Xu, Boni ISSTA'12-FULL: "CARISMA: a Context-sensitive ..."
Xue, Jingling ISSTA'12-FULL: "Static Memory Leak Detection ..."
Yang, Guowei ISSTA'12-FULL: "Memoized Symbolic Execution ..."
Ye, Ding ISSTA'12-FULL: "Static Memory Leak Detection ..."
Yi, Jaeheon ISSTA'12-FULL: "Cooperative Types for Controlling ..."
Yu, Hongtao ISSTA'12-FULL: "Multi-slicing: A Compiler-Supported ..."
Zeller, Andreas ISSTA'12-FULL: "Isolating Failure Causes through ..." ISSTA'12-FULL: "Search-Based System Testing: ..."
Zhai, Ke ISSTA'12-FULL: "CARISMA: a Context-sensitive ..."
Zhang, Chaoqiang ISSTA'12-FULL: "Swarm Testing ..."
Zhang, Fangfang ISSTA'12-FULL: "A First Step Towards Algorithm ..."
Zhang, Lingming ISSTA'12-FULL: "Regression Mutation Testing ..."
Zhang, Lu ISSTA'12-FULL: "Regression Mutation Testing ..."
Zhang, Pingyu ISSTA'12-FULL: "Compositional Load Test Generation ..."
Zhang, Sai ISSTA'12-FULL: "Finding Errors in Multithreaded ..."
Zhu, Sencun ISSTA'12-FULL: "A First Step Towards Algorithm ..."

103 authors

proc time: 0.22