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.44