Powered by
Conference Publishing Consulting

2013 International Symposium on Software Testing and Analysis (ISSTA), July 15–20, 2013, Lugano, Switzerland

ISSTA 2013 – Author Index

Contents - Abstracts - Authors

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

Abreu, Rui ISSTA'13: "Threats to the Validity and ..."
Alipour, Mohammad Amin ISSTA'13: "Comparing Non-adequate Test ..."
Arcuri, Andrea ISSTA'13: "Does Automated White-Box Test ..."
Bansal, Sorav ISSTA'13: "Variable and Thread Bounding ..."
Barr, Earl T. ISSTA'13: "Collecting a Heap of Shapes ..."
Basin, David ISSTA'13: "Semi-valid Input Coverage ..."
Bermúdez, Santiago ISSTA'13: "Parallel Bounded Analysis ..."
Bindal, Sandeep ISSTA'13: "Variable and Thread Bounding ..."
Bird, Christian ISSTA'13: "Collecting a Heap of Shapes ..."
Blas, Guido Marucci ISSTA'13: "Parallel Bounded Analysis ..."
Bonacchi, Andrea ISSTA'13-DOCTORAL: "Formal Safety Proof: A Real ..."
Buda, Teodora Sandra ISSTA'13-DOCTORAL: "Generation of Test Databases ..."
Bultan, Tevfik ISSTA'13: "Data Model Property Inference ..."
Chen, Yuanjun ISSTA'13: "Dynamically Validating Static ..."
Chockler, Hana ISSTA'13: "Finding Rare Numerical Stability ..."
Dashti, Mohammad Torabi ISSTA'13: "Semi-valid Input Coverage ..."
De Lucia, Andrea ISSTA'13: "Orthogonal Exploration of ..."
De Melo, Ana C. V. ISSTA'13-DOCTORAL: "Generation of Java Programs ..."
De Rosso, Santiago Perez ISSTA'13: "Parallel Bounded Analysis ..."
Devaki, Pranavadatta ISSTA'13: "Efficient and Flexible GUI ..."
Dig, Danny ISSTA'13: "Practical Static Race Detection ..."
Dong, Jin Song ISSTA'13: "Combining Model Checking and ..."
Dwyer, Matthew B. ISSTA'13: "Optimizing Monitoring of Finite ..."
Elbaum, Sebastian ISSTA'13: "Optimizing Monitoring of Finite ..."
Ernst, Michael D. ISSTA'13: "Automatically Repairing Broken ..."
Even, Karine ISSTA'13: "Finding Rare Numerical Stability ..."
Fogel, Ari ISSTA'13: "Declarative Mocking ..."
Fraser, Gordon ISSTA'13: "Does Automated White-Box Test ..."
Frenkel, Marcus ISSTA'13: "Threats to the Validity and ..."
Frias, Marcelo F. ISSTA'13: "Parallel Bounded Analysis ..."
Galeotti, Juan ISSTA'13: "Parallel Bounded Analysis ..."
Ghaith, Shadi ISSTA'13-DOCTORAL: "Analysis of Performance Regression ..."
Giannakopoulou, Dimitra ISSTA'13: "Hybrid Learning: Interface ..."
Gligoric, Milos ISSTA'13: "Selective Mutation Testing ..." ISSTA'13: "Comparing Non-adequate Test ..."
Govindan, Ramesh ISSTA'13: "Calculating Source Line Level ..."
Groce, Alex ISSTA'13: "Comparing Non-adequate Test ..."
Gui, Lin ISSTA'13: "Combining Model Checking and ..."
Guy, Lotem ISSTA'13: "Finding Your Way in the Testing ..."
Halfond, William G. J. ISSTA'13: "Calculating Source Line Level ..."
Han, Shi ISSTA'13: "Context-Sensitive Delta Inference ..."
Hanazumi, Simone ISSTA'13-DOCTORAL: "Generation of Java Programs ..."
Hao, Shuai ISSTA'13: "Calculating Source Line Level ..."
Harrold, Mary Jean ISSTA'13: "Griffin: Grouping Suspicious ..."
Hicks, Rebecca ISSTA'13: "Declarative Mocking ..."
Hills, Mark ISSTA'13: "An Empirical Study of PHP ..."
Howar, Falk ISSTA'13: "Hybrid Learning: Interface ..."
Jensen, Casper S. ISSTA'13: "Automated Testing with Targeted ..."
Jin, Wei ISSTA'13: "F3: Fault Localization for ..."
Khurshid, Sarfraz ISSTA'13: "Faster Mutation Testing Inspired ..."
Kifetew, Fitsum M. ISSTA'13: "Orthogonal Exploration of ..."
Klint, Paul ISSTA'13: "An Empirical Study of PHP ..."
Lal, Akash ISSTA'13: "Variable and Thread Bounding ..."
Lei, Yan ISSTA'13: "Using Automated Program Repair ..."
Li, Ding ISSTA'13: "Calculating Source Line Level ..."
Li, Mengchen ISSTA'13: "Dynamically Validating Static ..."
Liu, Yang ISSTA'13: "Combining Model Checking and ..."
Lü, Hao ISSTA'13: "Automatically Repairing Broken ..."
Luo, Qingzhou ISSTA'13: "EnforceMOP: A Runtime Property ..."
Mao, Xiaoguang ISSTA'13: "Using Automated Program Repair ..."
Marinov, Darko ISSTA'13: "Comparing Non-adequate Test ..." ISSTA'13: "Faster Mutation Testing Inspired ..."
Marron, Mark ISSTA'13: "Collecting a Heap of Shapes ..."
McMinn, Phil ISSTA'13: "Does Automated White-Box Test ..."
Millstein, Todd ISSTA'13: "Declarative Mocking ..."
Møller, Anders ISSTA'13: "Automated Testing with Targeted ..."
Nijjar, Jaideep ISSTA'13: "Data Model Property Inference ..."
Oliveto, Rocco ISSTA'13: "Orthogonal Exploration of ..."
Orso, Alessandro ISSTA'13: "F3: Fault Localization for ..."
Padberg, Frank ISSTA'13: "Does Automated White-Box Test ..."
Panichella, Annibale ISSTA'13: "Orthogonal Exploration of ..."
Park, Sangmin ISSTA'13-DOCTORAL: "Debugging Non-deadlock Concurrency ..." ISSTA'13: "Griffin: Grouping Suspicious ..."
Pereira, Cristiano ISSTA'13: "Selective Mutation Testing ..."
Pizzagalli, Lucas ISSTA'13: "Parallel Bounded Analysis ..."
Pokam, Gilles ISSTA'13: "Selective Mutation Testing ..."
Prasad, Mukul R. ISSTA'13: "Automated Testing with Targeted ..."
Purandare, Rahul ISSTA'13: "Optimizing Monitoring of Finite ..."
Qi, Dawei ISSTA'13: "Expressing and Checking Intended ..."
Qi, Yuhua ISSTA'13: "Using Automated Program Repair ..."
Radoi, Cosmin ISSTA'13: "Practical Static Race Detection ..."
Rakamarić, Zvonimir ISSTA'13: "Hybrid Learning: Interface ..."
Rosner, Nicolás ISSTA'13: "Parallel Bounded Analysis ..."
Roşu, Grigore ISSTA'13: "EnforceMOP: A Runtime Property ..."
Rothermel, Gregg ISSTA'13: "SimRacer: An Automated Framework ..."
Roychoudhury, Abhik ISSTA'13: "Expressing and Checking Intended ..."
Ryder, Barbara G. ISSTA'13: "Practical Blended Taint Analysis ..."
Samimi, Hesam ISSTA'13: "Declarative Mocking ..."
Sharma, Rohan ISSTA'13: "Comparing Non-adequate Test ..."
Si, Yuan Jie ISSTA'13: "Combining Model Checking and ..."
Singhania, Nimit ISSTA'13: "Efficient and Flexible GUI ..."
Sinha, Saurabh ISSTA'13: "Efficient and Flexible GUI ..."
Srisa-an, Witawas ISSTA'13: "SimRacer: An Automated Framework ..."
Staats, Matt ISSTA'13: "Does Automated White-Box Test ..."
Steimann, Friedrich ISSTA'13: "Threats to the Validity and ..."
Sun, Jun ISSTA'13: "Combining Model Checking and ..."
Tan, Shin Hwei ISSTA'13: "Expressing and Checking Intended ..."
Thüm, Thomas ISSTA'13-DOCTORAL: "Product-Line Verification ..."
Thummalapenta, Suresh ISSTA'13: "Efficient and Flexible GUI ..."
Tonella, Paolo ISSTA'13: "Orthogonal Exploration of ..."
Tripp, Omer ISSTA'13: "Finding Your Way in the Testing ..."
Tsankov, Petar ISSTA'13: "Semi-valid Input Coverage ..."
Vinju, Jurgen ISSTA'13: "An Empirical Study of PHP ..."
Vuduc, Richard ISSTA'13: "Griffin: Grouping Suspicious ..."
Wang, Chengsong ISSTA'13: "Using Automated Program Repair ..."
Wang, Linzhang ISSTA'13: "Dynamically Validating Static ..."
Wang, Xin Yu ISSTA'13: "Combining Model Checking and ..."
Wei, Shiyi ISSTA'13: "Practical Blended Taint Analysis ..."
Weisman, Omri ISSTA'13: "Finding Your Way in the Testing ..."
Xiao, Xusheng ISSTA'13: "Context-Sensitive Delta Inference ..."
Xie, Tao ISSTA'13: "Context-Sensitive Delta Inference ..."
Xu, Guoqing ISSTA'13: "Dynamically Validating Static ..."
Yahav, Eran ISSTA'13: "Finding Rare Numerical Stability ..."
Yi, Jooyong ISSTA'13: "Expressing and Checking Intended ..."
Yu, Tingting ISSTA'13: "SimRacer: An Automated Framework ..."
Zemín, Luciano ISSTA'13: "Parallel Bounded Analysis ..."
Zhang, Chaoqiang ISSTA'13: "Comparing Non-adequate Test ..."
Zhang, Dongmei ISSTA'13: "Context-Sensitive Delta Inference ..."
Zhang, Lingming ISSTA'13: "Selective Mutation Testing ..." ISSTA'13: "Faster Mutation Testing Inspired ..."
Zhang, Sai ISSTA'13: "Automatically Repairing Broken ..."

117 authors

proc time: 0.22