| |
Abreu, Rui
|
ISSTA '13: "Threats to the Validity and ..."
Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators
Friedrich Steimann, Marcus Frenkel, and Rui Abreu
(Fernuniversität in Hagen, Germany; University of Porto, Portugal)
@InProceedings{ISSTA13p314,
author = {Friedrich Steimann and Marcus Frenkel and Rui Abreu},
title = {Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {314-313},
doi = {},
year = {2013},
}
Article: issta13main-id103-p doi:
|
| |
Alipour, Mohammad Amin |
ISSTA '13: "Comparing Non-adequate Test ..."
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
@InProceedings{ISSTA13p302,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing Non-adequate Test Suites using Coverage Criteria},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {302-301},
doi = {},
year = {2013},
}
Article: issta13main-id67-p doi:
|
| |
Arcuri, Andrea |
ISSTA '13: "Does Automated White-Box Test ..."
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, and Frank Padberg
(University of Sheffield, UK; KAIST, South Korea; Simula Research Laboratory, Norway; KIT, Germany)
@InProceedings{ISSTA13p291,
author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
title = {Does Automated White-Box Test Generation Really Help Software Testers?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {},
year = {2013},
}
Article: issta13main-id29-p doi:
|
| |
Bansal, Sorav
|
ISSTA '13: "Variable and Thread Bounding ..."
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, and Akash Lal
(IIT Delhi, India; Microsoft Research, India)
@InProceedings{ISSTA13p145,
author = {Sandeep Bindal and Sorav Bansal and Akash Lal},
title = {Variable and Thread Bounding for Systematic Testing of Multithreaded Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {145-144},
doi = {},
year = {2013},
}
Article: issta13main-id34-p doi:
|
| |
Barr, Earl T. |
ISSTA '13: "Collecting a Heap of Shapes ..."
Collecting a Heap of Shapes
Earl T. Barr, Christian Bird, and Mark Marron
(University College London, UK; UC Davis, USA; Microsoft Research, USA; IMDEA Software Institute, Spain)
@InProceedings{ISSTA13p123,
author = {Earl T. Barr and Christian Bird and Mark Marron},
title = {Collecting a Heap of Shapes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {123-122},
doi = {},
year = {2013},
}
Article: issta13main-id35-p doi:
|
| |
Basin, David |
ISSTA '13: "Semi-valid Input Coverage ..."
Semi-valid Input Coverage for Fuzz Testing
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
@InProceedings{ISSTA13p56,
author = {Petar Tsankov and Mohammad Torabi Dashti and David Basin},
title = {Semi-valid Input Coverage for Fuzz Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2013},
}
Article: issta13main-id63-p doi:
|
| |
Bermúdez, Santiago |
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Bindal, Sandeep |
ISSTA '13: "Variable and Thread Bounding ..."
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, and Akash Lal
(IIT Delhi, India; Microsoft Research, India)
@InProceedings{ISSTA13p145,
author = {Sandeep Bindal and Sorav Bansal and Akash Lal},
title = {Variable and Thread Bounding for Systematic Testing of Multithreaded Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {145-144},
doi = {},
year = {2013},
}
Article: issta13main-id34-p doi:
|
| |
Bird, Christian |
ISSTA '13: "Collecting a Heap of Shapes ..."
Collecting a Heap of Shapes
Earl T. Barr, Christian Bird, and Mark Marron
(University College London, UK; UC Davis, USA; Microsoft Research, USA; IMDEA Software Institute, Spain)
@InProceedings{ISSTA13p123,
author = {Earl T. Barr and Christian Bird and Mark Marron},
title = {Collecting a Heap of Shapes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {123-122},
doi = {},
year = {2013},
}
Article: issta13main-id35-p doi:
|
| |
Blas, Guido Marucci |
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Bonacchi, Andrea |
ISSTA '13: "Formal Safety Proof: A Real ..."
Formal Safety Proof: A Real Case Study in a Railway Interlocking System
Andrea Bonacchi
(University of Florence, Italy)
@InProceedings{ISSTA13p378,
author = {Andrea Bonacchi},
title = {Formal Safety Proof: A Real Case Study in a Railway Interlocking System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc5-p doi:
|
| |
Buda, Teodora Sandra |
ISSTA '13: "Generation of Test Databases ..."
Generation of Test Databases using Sampling Methods
Teodora Sandra Buda
(University College Dublin, Ireland)
@InProceedings{ISSTA13p366,
author = {Teodora Sandra Buda},
title = {Generation of Test Databases using Sampling Methods},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {366-365},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc4-p doi:
|
| |
Bultan, Tevfik |
ISSTA '13: "Data Model Property Inference ..."
Data Model Property Inference and Repair
Jaideep Nijjar and Tevfik Bultan
(UC Santa Barbara, USA)
@InProceedings{ISSTA13p202,
author = {Jaideep Nijjar and Tevfik Bultan},
title = {Data Model Property Inference and Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {202-201},
doi = {},
year = {2013},
}
Article: issta13main-id26-p doi:
|
| |
Chen, Yuanjun
|
ISSTA '13: "Dynamically Validating Static ..."
Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu
(Nanjing University, China; UC Irvine, USA)
@InProceedings{ISSTA13p112,
author = {Mengchen Li and Yuanjun Chen and Linzhang Wang and Guoqing Xu},
title = {Dynamically Validating Static Memory Leak Warnings},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {112-111},
doi = {},
year = {2013},
}
Article: issta13main-id71-p doi:
|
| |
Chockler, Hana |
ISSTA '13: "Finding Rare Numerical Stability ..."
Finding Rare Numerical Stability Errors in Concurrent Computations
Hana Chockler, Karine Even, and Eran Yahav
(IBM Research, Israel; Technion, Israel)
@InProceedings{ISSTA13p12,
author = {Hana Chockler and Karine Even and Eran Yahav},
title = {Finding Rare Numerical Stability Errors in Concurrent Computations},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
Article: issta13main-id57-p doi:
|
| |
Dashti, Mohammad Torabi
|
ISSTA '13: "Semi-valid Input Coverage ..."
Semi-valid Input Coverage for Fuzz Testing
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
@InProceedings{ISSTA13p56,
author = {Petar Tsankov and Mohammad Torabi Dashti and David Basin},
title = {Semi-valid Input Coverage for Fuzz Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2013},
}
Article: issta13main-id63-p doi:
|
| |
De Lucia, Andrea |
ISSTA '13: "Orthogonal Exploration of ..."
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Salerno, Italy; University of Molise, Italy)
@InProceedings{ISSTA13p257,
author = {Fitsum M. Kifetew and Annibale Panichella and Andrea De Lucia and Rocco Oliveto and Paolo Tonella},
title = {Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2013},
}
Article: issta13main-id100-p doi:
|
| |
De Melo, Ana C. V. |
ISSTA '13: "Generation of Java Programs ..."
Generation of Java Programs Properties from Test Purposes
Simone Hanazumi and Ana C. V. de Melo
(USP, Brazil)
@InProceedings{ISSTA13p362,
author = {Simone Hanazumi and Ana C. V. de Melo},
title = {Generation of Java Programs Properties from Test Purposes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {362-361},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc2-p doi:
|
| |
De Rosso, Santiago Perez |
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Devaki, Pranavadatta |
ISSTA '13: "Efficient and Flexible GUI ..."
Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, and Saurabh Sinha
(IBM Research, India)
@InProceedings{ISSTA13p34,
author = {Pranavadatta Devaki and Suresh Thummalapenta and Nimit Singhania and Saurabh Sinha},
title = {Efficient and Flexible GUI Test Execution via Test Merging},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
Article: issta13main-id110-p doi:
|
| |
Dig, Danny |
ISSTA '13: "Practical Static Race Detection ..."
Practical Static Race Detection for Java Parallel Loops
Cosmin Radoi and Danny Dig
(University of Illinois, USA; Oregon State University, USA)
@InProceedings{ISSTA13p178,
author = {Cosmin Radoi and Danny Dig},
title = {Practical Static Race Detection for Java Parallel Loops},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {178-177},
doi = {},
year = {2013},
}
Article: issta13main-id88-p doi:
|
| |
Dong, Jin Song |
ISSTA '13: "Combining Model Checking and ..."
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
@InProceedings{ISSTA13p101,
author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xin Yu Wang},
title = {Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {101-100},
doi = {},
year = {2013},
}
Article: issta13main-id78-p doi:
|
| |
Dwyer, Matthew B. |
ISSTA '13: "Optimizing Monitoring of Finite ..."
Optimizing Monitoring of Finite State Properties through Monitor Compaction
Rahul Purandare, Matthew B. Dwyer, and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA13p280,
author = {Rahul Purandare and Matthew B. Dwyer and Sebastian Elbaum},
title = {Optimizing Monitoring of Finite State Properties through Monitor Compaction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {280-279},
doi = {},
year = {2013},
}
Article: issta13main-id87-p doi:
|
| |
Elbaum, Sebastian
|
ISSTA '13: "Optimizing Monitoring of Finite ..."
Optimizing Monitoring of Finite State Properties through Monitor Compaction
Rahul Purandare, Matthew B. Dwyer, and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA13p280,
author = {Rahul Purandare and Matthew B. Dwyer and Sebastian Elbaum},
title = {Optimizing Monitoring of Finite State Properties through Monitor Compaction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {280-279},
doi = {},
year = {2013},
}
Article: issta13main-id87-p doi:
|
| |
Ernst, Michael D. |
ISSTA '13: "Automatically Repairing Broken ..."
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
@InProceedings{ISSTA13p45,
author = {Sai Zhang and Hao Lü and Michael D. Ernst},
title = {Automatically Repairing Broken Workflows for Evolving GUI Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2013},
}
Article: issta13main-id44-p doi:
|
| |
Even, Karine |
ISSTA '13: "Finding Rare Numerical Stability ..."
Finding Rare Numerical Stability Errors in Concurrent Computations
Hana Chockler, Karine Even, and Eran Yahav
(IBM Research, Israel; Technion, Israel)
@InProceedings{ISSTA13p12,
author = {Hana Chockler and Karine Even and Eran Yahav},
title = {Finding Rare Numerical Stability Errors in Concurrent Computations},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
Article: issta13main-id57-p doi:
|
| |
Fogel, Ari
|
ISSTA '13: "Declarative Mocking ..."
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel, and Todd Millstein
(UC Los Angeles, USA)
@InProceedings{ISSTA13p246,
author = {Hesam Samimi and Rebecca Hicks and Ari Fogel and Todd Millstein},
title = {Declarative Mocking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {246-245},
doi = {},
year = {2013},
}
Article: issta13main-id122-p doi:
|
| |
Fraser, Gordon |
ISSTA '13: "Does Automated White-Box Test ..."
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, and Frank Padberg
(University of Sheffield, UK; KAIST, South Korea; Simula Research Laboratory, Norway; KIT, Germany)
@InProceedings{ISSTA13p291,
author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
title = {Does Automated White-Box Test Generation Really Help Software Testers?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {},
year = {2013},
}
Article: issta13main-id29-p doi:
|
| |
Frenkel, Marcus |
ISSTA '13: "Threats to the Validity and ..."
Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators
Friedrich Steimann, Marcus Frenkel, and Rui Abreu
(Fernuniversität in Hagen, Germany; University of Porto, Portugal)
@InProceedings{ISSTA13p314,
author = {Friedrich Steimann and Marcus Frenkel and Rui Abreu},
title = {Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {314-313},
doi = {},
year = {2013},
}
Article: issta13main-id103-p doi:
|
| |
Frias, Marcelo F. |
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Galeotti, Juan
|
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Ghaith, Shadi |
ISSTA '13: "Analysis of Performance Regression ..."
Analysis of Performance Regression Testing Data by Transaction Profiles
Shadi Ghaith
(University College Dublin, Ireland)
@InProceedings{ISSTA13p370,
author = {Shadi Ghaith},
title = {Analysis of Performance Regression Testing Data by Transaction Profiles},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {370-369},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc1-p doi:
|
| |
Giannakopoulou, Dimitra |
ISSTA '13: "Hybrid Learning: Interface ..."
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
Falk Howar, Dimitra Giannakopoulou, and Zvonimir Rakamarić
(CMU, USA; NASA Ames Research Center, USA; University of Utah, USA)
@InProceedings{ISSTA13p268,
author = {Falk Howar and Dimitra Giannakopoulou and Zvonimir Rakamarić},
title = {Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {268-267},
doi = {},
year = {2013},
}
Article: issta13main-id118-p doi:
|
| |
Gligoric, Milos |
ISSTA '13: "Selective Mutation Testing ..."
Selective Mutation Testing for Concurrent Code
Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA; Intel, USA)
@InProceedings{ISSTA13p224,
author = {Milos Gligoric and Lingming Zhang and Cristiano Pereira and Gilles Pokam},
title = {Selective Mutation Testing for Concurrent Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {224-223},
doi = {},
year = {2013},
}
Article: issta13main-id106-p doi:
ISSTA '13: "Comparing Non-adequate Test ..."
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
@InProceedings{ISSTA13p302,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing Non-adequate Test Suites using Coverage Criteria},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {302-301},
doi = {},
year = {2013},
}
Article: issta13main-id67-p doi:
|
| |
Govindan, Ramesh |
ISSTA '13: "Calculating Source Line Level ..."
Calculating Source Line Level Energy Information for Android Applications
Ding Li, Shuai Hao, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
@InProceedings{ISSTA13p78,
author = {Ding Li and Shuai Hao and William G. J. Halfond and Ramesh Govindan},
title = {Calculating Source Line Level Energy Information for Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2013},
}
Article: issta13main-id97-p doi:
|
| |
Groce, Alex |
ISSTA '13: "Comparing Non-adequate Test ..."
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
@InProceedings{ISSTA13p302,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing Non-adequate Test Suites using Coverage Criteria},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {302-301},
doi = {},
year = {2013},
}
Article: issta13main-id67-p doi:
|
| |
Gui, Lin |
ISSTA '13: "Combining Model Checking and ..."
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
@InProceedings{ISSTA13p101,
author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xin Yu Wang},
title = {Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {101-100},
doi = {},
year = {2013},
}
Article: issta13main-id78-p doi:
|
| |
Guy, Lotem |
ISSTA '13: "Finding Your Way in the Testing ..."
Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing
Omer Tripp, Omri Weisman, and Lotem Guy
(IBM, Israel; Tel Aviv University, Israel; Cybereason, Israel)
@InProceedings{ISSTA13p347,
author = {Omer Tripp and Omri Weisman and Lotem Guy},
title = {Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {347-346},
doi = {},
year = {2013},
}
Article: issta13main-id53-p doi:
|
| |
Halfond, William G. J.
|
ISSTA '13: "Calculating Source Line Level ..."
Calculating Source Line Level Energy Information for Android Applications
Ding Li, Shuai Hao, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
@InProceedings{ISSTA13p78,
author = {Ding Li and Shuai Hao and William G. J. Halfond and Ramesh Govindan},
title = {Calculating Source Line Level Energy Information for Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2013},
}
Article: issta13main-id97-p doi:
|
| |
Han, Shi |
ISSTA '13: "Context-Sensitive Delta Inference ..."
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Xusheng Xiao, Shi Han, Dongmei Zhang, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China)
@InProceedings{ISSTA13p90,
author = {Xusheng Xiao and Shi Han and Dongmei Zhang and Tao Xie},
title = {Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {90-89},
doi = {},
year = {2013},
}
Article: issta13main-id16-p doi:
|
| |
Hanazumi, Simone |
ISSTA '13: "Generation of Java Programs ..."
Generation of Java Programs Properties from Test Purposes
Simone Hanazumi and Ana C. V. de Melo
(USP, Brazil)
@InProceedings{ISSTA13p362,
author = {Simone Hanazumi and Ana C. V. de Melo},
title = {Generation of Java Programs Properties from Test Purposes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {362-361},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc2-p doi:
|
| |
Hao, Shuai |
ISSTA '13: "Calculating Source Line Level ..."
Calculating Source Line Level Energy Information for Android Applications
Ding Li, Shuai Hao, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
@InProceedings{ISSTA13p78,
author = {Ding Li and Shuai Hao and William G. J. Halfond and Ramesh Govindan},
title = {Calculating Source Line Level Energy Information for Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2013},
}
Article: issta13main-id97-p doi:
|
| |
Harrold, Mary Jean |
ISSTA '13: "Griffin: Grouping Suspicious ..."
Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs
Sangmin Park, Mary Jean Harrold, and Richard Vuduc
(Georgia Tech, USA)
@InProceedings{ISSTA13p134,
author = {Sangmin Park and Mary Jean Harrold and Richard Vuduc},
title = {Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {134-133},
doi = {},
year = {2013},
}
Article: issta13main-id56-p doi:
|
| |
Hicks, Rebecca |
ISSTA '13: "Declarative Mocking ..."
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel, and Todd Millstein
(UC Los Angeles, USA)
@InProceedings{ISSTA13p246,
author = {Hesam Samimi and Rebecca Hicks and Ari Fogel and Todd Millstein},
title = {Declarative Mocking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {246-245},
doi = {},
year = {2013},
}
Article: issta13main-id122-p doi:
|
| |
Hills, Mark |
ISSTA '13: "An Empirical Study of PHP ..."
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Mark Hills, Paul Klint, and Jurgen Vinju
(CWI, Netherlands; INRIA, France)
@InProceedings{ISSTA13p325,
author = {Mark Hills and Paul Klint and Jurgen Vinju},
title = {An Empirical Study of PHP Feature Usage: A Static Analysis Perspective},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {325-324},
doi = {},
year = {2013},
}
Article: issta13main-id42-p doi:
|
| |
Howar, Falk |
ISSTA '13: "Hybrid Learning: Interface ..."
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
Falk Howar, Dimitra Giannakopoulou, and Zvonimir Rakamarić
(CMU, USA; NASA Ames Research Center, USA; University of Utah, USA)
@InProceedings{ISSTA13p268,
author = {Falk Howar and Dimitra Giannakopoulou and Zvonimir Rakamarić},
title = {Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {268-267},
doi = {},
year = {2013},
}
Article: issta13main-id118-p doi:
|
| |
Jensen, Casper S.
|
ISSTA '13: "Automated Testing with Targeted ..."
Automated Testing with Targeted Event Sequence Generation
Casper S. Jensen, Mukul R. Prasad, and Anders Møller
(Aarhus University, Denmark; Fujitsu Labs, USA)
@InProceedings{ISSTA13p67,
author = {Casper S. Jensen and Mukul R. Prasad and Anders Møller},
title = {Automated Testing with Targeted Event Sequence Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {},
year = {2013},
}
Article: issta13main-id70-p doi:
|
| |
Jin, Wei |
ISSTA '13: "F3: Fault Localization for ..."
F3: Fault Localization for Field Failures
Wei Jin and Alessandro Orso
(Georgia Tech, USA)
@InProceedings{ISSTA13p213,
author = {Wei Jin and Alessandro Orso},
title = {F3: Fault Localization for Field Failures},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {213-212},
doi = {},
year = {2013},
}
Article: issta13main-id127-p doi:
|
| |
Khurshid, Sarfraz
|
ISSTA '13: "Faster Mutation Testing Inspired ..."
Faster Mutation Testing Inspired by Test Prioritization and Reduction
Lingming Zhang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA13p235,
author = {Lingming Zhang and Darko Marinov and Sarfraz Khurshid},
title = {Faster Mutation Testing Inspired by Test Prioritization and Reduction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {235-234},
doi = {},
year = {2013},
}
Article: issta13main-id113-p doi:
|
| |
Kifetew, Fitsum M. |
ISSTA '13: "Orthogonal Exploration of ..."
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Salerno, Italy; University of Molise, Italy)
@InProceedings{ISSTA13p257,
author = {Fitsum M. Kifetew and Annibale Panichella and Andrea De Lucia and Rocco Oliveto and Paolo Tonella},
title = {Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2013},
}
Article: issta13main-id100-p doi:
|
| |
Klint, Paul |
ISSTA '13: "An Empirical Study of PHP ..."
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Mark Hills, Paul Klint, and Jurgen Vinju
(CWI, Netherlands; INRIA, France)
@InProceedings{ISSTA13p325,
author = {Mark Hills and Paul Klint and Jurgen Vinju},
title = {An Empirical Study of PHP Feature Usage: A Static Analysis Perspective},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {325-324},
doi = {},
year = {2013},
}
Article: issta13main-id42-p doi:
|
| |
Lal, Akash
|
ISSTA '13: "Variable and Thread Bounding ..."
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, and Akash Lal
(IIT Delhi, India; Microsoft Research, India)
@InProceedings{ISSTA13p145,
author = {Sandeep Bindal and Sorav Bansal and Akash Lal},
title = {Variable and Thread Bounding for Systematic Testing of Multithreaded Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {145-144},
doi = {},
year = {2013},
}
Article: issta13main-id34-p doi:
|
| |
Lei, Yan |
ISSTA '13: "Using Automated Program Repair ..."
Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang
(National University of Defense Technology, China)
@InProceedings{ISSTA13p191,
author = {Yuhua Qi and Xiaoguang Mao and Yan Lei and Chengsong Wang},
title = {Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2013},
}
Article: issta13main-id17-p doi:
|
| |
Li, Ding |
ISSTA '13: "Calculating Source Line Level ..."
Calculating Source Line Level Energy Information for Android Applications
Ding Li, Shuai Hao, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
@InProceedings{ISSTA13p78,
author = {Ding Li and Shuai Hao and William G. J. Halfond and Ramesh Govindan},
title = {Calculating Source Line Level Energy Information for Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2013},
}
Article: issta13main-id97-p doi:
|
| |
Li, Mengchen |
ISSTA '13: "Dynamically Validating Static ..."
Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu
(Nanjing University, China; UC Irvine, USA)
@InProceedings{ISSTA13p112,
author = {Mengchen Li and Yuanjun Chen and Linzhang Wang and Guoqing Xu},
title = {Dynamically Validating Static Memory Leak Warnings},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {112-111},
doi = {},
year = {2013},
}
Article: issta13main-id71-p doi:
|
| |
Liu, Yang |
ISSTA '13: "Combining Model Checking and ..."
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
@InProceedings{ISSTA13p101,
author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xin Yu Wang},
title = {Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {101-100},
doi = {},
year = {2013},
}
Article: issta13main-id78-p doi:
|
| |
Lü, Hao |
ISSTA '13: "Automatically Repairing Broken ..."
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
@InProceedings{ISSTA13p45,
author = {Sai Zhang and Hao Lü and Michael D. Ernst},
title = {Automatically Repairing Broken Workflows for Evolving GUI Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2013},
}
Article: issta13main-id44-p doi:
|
| |
Luo, Qingzhou |
ISSTA '13: "EnforceMOP: A Runtime Property ..."
EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs
Qingzhou Luo and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA13p156,
author = {Qingzhou Luo and Grigore Roşu},
title = {EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {156-155},
doi = {},
year = {2013},
}
Article: issta13main-id98-p doi:
|
| |
Mao, Xiaoguang
|
ISSTA '13: "Using Automated Program Repair ..."
Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang
(National University of Defense Technology, China)
@InProceedings{ISSTA13p191,
author = {Yuhua Qi and Xiaoguang Mao and Yan Lei and Chengsong Wang},
title = {Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2013},
}
Article: issta13main-id17-p doi:
|
| |
Marinov, Darko |
ISSTA '13: "Faster Mutation Testing Inspired ..."
Faster Mutation Testing Inspired by Test Prioritization and Reduction
Lingming Zhang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA13p235,
author = {Lingming Zhang and Darko Marinov and Sarfraz Khurshid},
title = {Faster Mutation Testing Inspired by Test Prioritization and Reduction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {235-234},
doi = {},
year = {2013},
}
Article: issta13main-id113-p doi:
ISSTA '13: "Comparing Non-adequate Test ..."
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
@InProceedings{ISSTA13p302,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing Non-adequate Test Suites using Coverage Criteria},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {302-301},
doi = {},
year = {2013},
}
Article: issta13main-id67-p doi:
|
| |
Marron, Mark |
ISSTA '13: "Collecting a Heap of Shapes ..."
Collecting a Heap of Shapes
Earl T. Barr, Christian Bird, and Mark Marron
(University College London, UK; UC Davis, USA; Microsoft Research, USA; IMDEA Software Institute, Spain)
@InProceedings{ISSTA13p123,
author = {Earl T. Barr and Christian Bird and Mark Marron},
title = {Collecting a Heap of Shapes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {123-122},
doi = {},
year = {2013},
}
Article: issta13main-id35-p doi:
|
| |
McMinn, Phil |
ISSTA '13: "Does Automated White-Box Test ..."
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, and Frank Padberg
(University of Sheffield, UK; KAIST, South Korea; Simula Research Laboratory, Norway; KIT, Germany)
@InProceedings{ISSTA13p291,
author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
title = {Does Automated White-Box Test Generation Really Help Software Testers?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {},
year = {2013},
}
Article: issta13main-id29-p doi:
|
| |
Millstein, Todd |
ISSTA '13: "Declarative Mocking ..."
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel, and Todd Millstein
(UC Los Angeles, USA)
@InProceedings{ISSTA13p246,
author = {Hesam Samimi and Rebecca Hicks and Ari Fogel and Todd Millstein},
title = {Declarative Mocking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {246-245},
doi = {},
year = {2013},
}
Article: issta13main-id122-p doi:
|
| |
Møller, Anders |
ISSTA '13: "Automated Testing with Targeted ..."
Automated Testing with Targeted Event Sequence Generation
Casper S. Jensen, Mukul R. Prasad, and Anders Møller
(Aarhus University, Denmark; Fujitsu Labs, USA)
@InProceedings{ISSTA13p67,
author = {Casper S. Jensen and Mukul R. Prasad and Anders Møller},
title = {Automated Testing with Targeted Event Sequence Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {},
year = {2013},
}
Article: issta13main-id70-p doi:
|
| |
Nijjar, Jaideep
|
ISSTA '13: "Data Model Property Inference ..."
Data Model Property Inference and Repair
Jaideep Nijjar and Tevfik Bultan
(UC Santa Barbara, USA)
@InProceedings{ISSTA13p202,
author = {Jaideep Nijjar and Tevfik Bultan},
title = {Data Model Property Inference and Repair},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {202-201},
doi = {},
year = {2013},
}
Article: issta13main-id26-p doi:
|
| |
Oliveto, Rocco
|
ISSTA '13: "Orthogonal Exploration of ..."
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Salerno, Italy; University of Molise, Italy)
@InProceedings{ISSTA13p257,
author = {Fitsum M. Kifetew and Annibale Panichella and Andrea De Lucia and Rocco Oliveto and Paolo Tonella},
title = {Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2013},
}
Article: issta13main-id100-p doi:
|
| |
Orso, Alessandro |
ISSTA '13: "F3: Fault Localization for ..."
F3: Fault Localization for Field Failures
Wei Jin and Alessandro Orso
(Georgia Tech, USA)
@InProceedings{ISSTA13p213,
author = {Wei Jin and Alessandro Orso},
title = {F3: Fault Localization for Field Failures},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {213-212},
doi = {},
year = {2013},
}
Article: issta13main-id127-p doi:
|
| |
Padberg, Frank
|
ISSTA '13: "Does Automated White-Box Test ..."
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, and Frank Padberg
(University of Sheffield, UK; KAIST, South Korea; Simula Research Laboratory, Norway; KIT, Germany)
@InProceedings{ISSTA13p291,
author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
title = {Does Automated White-Box Test Generation Really Help Software Testers?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {},
year = {2013},
}
Article: issta13main-id29-p doi:
|
| |
Panichella, Annibale |
ISSTA '13: "Orthogonal Exploration of ..."
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Salerno, Italy; University of Molise, Italy)
@InProceedings{ISSTA13p257,
author = {Fitsum M. Kifetew and Annibale Panichella and Andrea De Lucia and Rocco Oliveto and Paolo Tonella},
title = {Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2013},
}
Article: issta13main-id100-p doi:
|
| |
Park, Sangmin |
ISSTA '13: "Debugging Non-deadlock Concurrency ..."
Debugging Non-deadlock Concurrency Bugs
Sangmin Park
(Georgia Tech, USA)
@InProceedings{ISSTA13p358,
author = {Sangmin Park},
title = {Debugging Non-deadlock Concurrency Bugs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {358-357},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc6-p doi:
ISSTA '13: "Griffin: Grouping Suspicious ..."
Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs
Sangmin Park, Mary Jean Harrold, and Richard Vuduc
(Georgia Tech, USA)
@InProceedings{ISSTA13p134,
author = {Sangmin Park and Mary Jean Harrold and Richard Vuduc},
title = {Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {134-133},
doi = {},
year = {2013},
}
Article: issta13main-id56-p doi:
|
| |
Pereira, Cristiano |
ISSTA '13: "Selective Mutation Testing ..."
Selective Mutation Testing for Concurrent Code
Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA; Intel, USA)
@InProceedings{ISSTA13p224,
author = {Milos Gligoric and Lingming Zhang and Cristiano Pereira and Gilles Pokam},
title = {Selective Mutation Testing for Concurrent Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {224-223},
doi = {},
year = {2013},
}
Article: issta13main-id106-p doi:
|
| |
Pizzagalli, Lucas |
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Pokam, Gilles |
ISSTA '13: "Selective Mutation Testing ..."
Selective Mutation Testing for Concurrent Code
Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA; Intel, USA)
@InProceedings{ISSTA13p224,
author = {Milos Gligoric and Lingming Zhang and Cristiano Pereira and Gilles Pokam},
title = {Selective Mutation Testing for Concurrent Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {224-223},
doi = {},
year = {2013},
}
Article: issta13main-id106-p doi:
|
| |
Prasad, Mukul R. |
ISSTA '13: "Automated Testing with Targeted ..."
Automated Testing with Targeted Event Sequence Generation
Casper S. Jensen, Mukul R. Prasad, and Anders Møller
(Aarhus University, Denmark; Fujitsu Labs, USA)
@InProceedings{ISSTA13p67,
author = {Casper S. Jensen and Mukul R. Prasad and Anders Møller},
title = {Automated Testing with Targeted Event Sequence Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {67-66},
doi = {},
year = {2013},
}
Article: issta13main-id70-p doi:
|
| |
Purandare, Rahul |
ISSTA '13: "Optimizing Monitoring of Finite ..."
Optimizing Monitoring of Finite State Properties through Monitor Compaction
Rahul Purandare, Matthew B. Dwyer, and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA13p280,
author = {Rahul Purandare and Matthew B. Dwyer and Sebastian Elbaum},
title = {Optimizing Monitoring of Finite State Properties through Monitor Compaction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {280-279},
doi = {},
year = {2013},
}
Article: issta13main-id87-p doi:
|
| |
Qi, Dawei
|
ISSTA '13: "Expressing and Checking Intended ..."
Expressing and Checking Intended Changes via Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury
(National University of Singapore, Singapore)
@InProceedings{ISSTA13p1,
author = {Jooyong Yi and Dawei Qi and Shin Hwei Tan and Abhik Roychoudhury},
title = {Expressing and Checking Intended Changes via Software Change Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
Article: issta13main-id95-p doi:
|
| |
Qi, Yuhua |
ISSTA '13: "Using Automated Program Repair ..."
Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang
(National University of Defense Technology, China)
@InProceedings{ISSTA13p191,
author = {Yuhua Qi and Xiaoguang Mao and Yan Lei and Chengsong Wang},
title = {Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2013},
}
Article: issta13main-id17-p doi:
|
| |
Radoi, Cosmin
|
ISSTA '13: "Practical Static Race Detection ..."
Practical Static Race Detection for Java Parallel Loops
Cosmin Radoi and Danny Dig
(University of Illinois, USA; Oregon State University, USA)
@InProceedings{ISSTA13p178,
author = {Cosmin Radoi and Danny Dig},
title = {Practical Static Race Detection for Java Parallel Loops},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {178-177},
doi = {},
year = {2013},
}
Article: issta13main-id88-p doi:
|
| |
Rakamarić, Zvonimir |
ISSTA '13: "Hybrid Learning: Interface ..."
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
Falk Howar, Dimitra Giannakopoulou, and Zvonimir Rakamarić
(CMU, USA; NASA Ames Research Center, USA; University of Utah, USA)
@InProceedings{ISSTA13p268,
author = {Falk Howar and Dimitra Giannakopoulou and Zvonimir Rakamarić},
title = {Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {268-267},
doi = {},
year = {2013},
}
Article: issta13main-id118-p doi:
|
| |
Rosner, Nicolás |
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Roşu, Grigore |
ISSTA '13: "EnforceMOP: A Runtime Property ..."
EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs
Qingzhou Luo and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA13p156,
author = {Qingzhou Luo and Grigore Roşu},
title = {EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {156-155},
doi = {},
year = {2013},
}
Article: issta13main-id98-p doi:
|
| |
Rothermel, Gregg |
ISSTA '13: "SimRacer: An Automated Framework ..."
SimRacer: An Automated Framework to Support Testing for Process-Level Races
Tingting Yu, Witawas Srisa-an, and Gregg Rothermel
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA13p167,
author = {Tingting Yu and Witawas Srisa-an and Gregg Rothermel},
title = {SimRacer: An Automated Framework to Support Testing for Process-Level Races},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {167-166},
doi = {},
year = {2013},
}
Article: issta13main-id74-p doi:
|
| |
Roychoudhury, Abhik |
ISSTA '13: "Expressing and Checking Intended ..."
Expressing and Checking Intended Changes via Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury
(National University of Singapore, Singapore)
@InProceedings{ISSTA13p1,
author = {Jooyong Yi and Dawei Qi and Shin Hwei Tan and Abhik Roychoudhury},
title = {Expressing and Checking Intended Changes via Software Change Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
Article: issta13main-id95-p doi:
|
| |
Ryder, Barbara G. |
ISSTA '13: "Practical Blended Taint Analysis ..."
Practical Blended Taint Analysis for JavaScript
Shiyi Wei and Barbara G. Ryder
(Virginia Tech, USA)
@InProceedings{ISSTA13p336,
author = {Shiyi Wei and Barbara G. Ryder},
title = {Practical Blended Taint Analysis for JavaScript},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {336-335},
doi = {},
year = {2013},
}
Article: issta13main-id80-p doi:
|
| |
Samimi, Hesam
|
ISSTA '13: "Declarative Mocking ..."
Declarative Mocking
Hesam Samimi, Rebecca Hicks, Ari Fogel, and Todd Millstein
(UC Los Angeles, USA)
@InProceedings{ISSTA13p246,
author = {Hesam Samimi and Rebecca Hicks and Ari Fogel and Todd Millstein},
title = {Declarative Mocking},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {246-245},
doi = {},
year = {2013},
}
Article: issta13main-id122-p doi:
|
| |
Sharma, Rohan |
ISSTA '13: "Comparing Non-adequate Test ..."
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
@InProceedings{ISSTA13p302,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing Non-adequate Test Suites using Coverage Criteria},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {302-301},
doi = {},
year = {2013},
}
Article: issta13main-id67-p doi:
|
| |
Si, Yuan Jie |
ISSTA '13: "Combining Model Checking and ..."
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
@InProceedings{ISSTA13p101,
author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xin Yu Wang},
title = {Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {101-100},
doi = {},
year = {2013},
}
Article: issta13main-id78-p doi:
|
| |
Singhania, Nimit |
ISSTA '13: "Efficient and Flexible GUI ..."
Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, and Saurabh Sinha
(IBM Research, India)
@InProceedings{ISSTA13p34,
author = {Pranavadatta Devaki and Suresh Thummalapenta and Nimit Singhania and Saurabh Sinha},
title = {Efficient and Flexible GUI Test Execution via Test Merging},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
Article: issta13main-id110-p doi:
|
| |
Sinha, Saurabh |
ISSTA '13: "Efficient and Flexible GUI ..."
Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, and Saurabh Sinha
(IBM Research, India)
@InProceedings{ISSTA13p34,
author = {Pranavadatta Devaki and Suresh Thummalapenta and Nimit Singhania and Saurabh Sinha},
title = {Efficient and Flexible GUI Test Execution via Test Merging},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
Article: issta13main-id110-p doi:
|
| |
Srisa-an, Witawas |
ISSTA '13: "SimRacer: An Automated Framework ..."
SimRacer: An Automated Framework to Support Testing for Process-Level Races
Tingting Yu, Witawas Srisa-an, and Gregg Rothermel
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA13p167,
author = {Tingting Yu and Witawas Srisa-an and Gregg Rothermel},
title = {SimRacer: An Automated Framework to Support Testing for Process-Level Races},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {167-166},
doi = {},
year = {2013},
}
Article: issta13main-id74-p doi:
|
| |
Staats, Matt |
ISSTA '13: "Does Automated White-Box Test ..."
Does Automated White-Box Test Generation Really Help Software Testers?
Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, and Frank Padberg
(University of Sheffield, UK; KAIST, South Korea; Simula Research Laboratory, Norway; KIT, Germany)
@InProceedings{ISSTA13p291,
author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
title = {Does Automated White-Box Test Generation Really Help Software Testers?},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {291-290},
doi = {},
year = {2013},
}
Article: issta13main-id29-p doi:
|
| |
Steimann, Friedrich |
ISSTA '13: "Threats to the Validity and ..."
Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators
Friedrich Steimann, Marcus Frenkel, and Rui Abreu
(Fernuniversität in Hagen, Germany; University of Porto, Portugal)
@InProceedings{ISSTA13p314,
author = {Friedrich Steimann and Marcus Frenkel and Rui Abreu},
title = {Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {314-313},
doi = {},
year = {2013},
}
Article: issta13main-id103-p doi:
|
| |
Sun, Jun |
ISSTA '13: "Combining Model Checking and ..."
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
@InProceedings{ISSTA13p101,
author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xin Yu Wang},
title = {Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {101-100},
doi = {},
year = {2013},
}
Article: issta13main-id78-p doi:
|
| |
Tan, Shin Hwei
|
ISSTA '13: "Expressing and Checking Intended ..."
Expressing and Checking Intended Changes via Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury
(National University of Singapore, Singapore)
@InProceedings{ISSTA13p1,
author = {Jooyong Yi and Dawei Qi and Shin Hwei Tan and Abhik Roychoudhury},
title = {Expressing and Checking Intended Changes via Software Change Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
Article: issta13main-id95-p doi:
|
| |
Thüm, Thomas |
ISSTA '13: "Product-Line Verification ..."
Product-Line Verification with Feature-Oriented Contracts
Thomas Thüm
(University of Magdeburg, Germany)
@InProceedings{ISSTA13p374,
author = {Thomas Thüm},
title = {Product-Line Verification with Feature-Oriented Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {374-373},
doi = {},
year = {2013},
}
Article: issta13doctoral-doc3-p doi:
|
| |
Thummalapenta, Suresh |
ISSTA '13: "Efficient and Flexible GUI ..."
Efficient and Flexible GUI Test Execution via Test Merging
Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, and Saurabh Sinha
(IBM Research, India)
@InProceedings{ISSTA13p34,
author = {Pranavadatta Devaki and Suresh Thummalapenta and Nimit Singhania and Saurabh Sinha},
title = {Efficient and Flexible GUI Test Execution via Test Merging},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2013},
}
Article: issta13main-id110-p doi:
|
| |
Tonella, Paolo |
ISSTA '13: "Orthogonal Exploration of ..."
Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation
Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Salerno, Italy; University of Molise, Italy)
@InProceedings{ISSTA13p257,
author = {Fitsum M. Kifetew and Annibale Panichella and Andrea De Lucia and Rocco Oliveto and Paolo Tonella},
title = {Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2013},
}
Article: issta13main-id100-p doi:
|
| |
Tripp, Omer |
ISSTA '13: "Finding Your Way in the Testing ..."
Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing
Omer Tripp, Omri Weisman, and Lotem Guy
(IBM, Israel; Tel Aviv University, Israel; Cybereason, Israel)
@InProceedings{ISSTA13p347,
author = {Omer Tripp and Omri Weisman and Lotem Guy},
title = {Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {347-346},
doi = {},
year = {2013},
}
Article: issta13main-id53-p doi:
|
| |
Tsankov, Petar |
ISSTA '13: "Semi-valid Input Coverage ..."
Semi-valid Input Coverage for Fuzz Testing
Petar Tsankov, Mohammad Torabi Dashti, and David Basin
(ETH Zurich, Switzerland)
@InProceedings{ISSTA13p56,
author = {Petar Tsankov and Mohammad Torabi Dashti and David Basin},
title = {Semi-valid Input Coverage for Fuzz Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2013},
}
Article: issta13main-id63-p doi:
|
| |
Vinju, Jurgen
|
ISSTA '13: "An Empirical Study of PHP ..."
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Mark Hills, Paul Klint, and Jurgen Vinju
(CWI, Netherlands; INRIA, France)
@InProceedings{ISSTA13p325,
author = {Mark Hills and Paul Klint and Jurgen Vinju},
title = {An Empirical Study of PHP Feature Usage: A Static Analysis Perspective},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {325-324},
doi = {},
year = {2013},
}
Article: issta13main-id42-p doi:
|
| |
Vuduc, Richard |
ISSTA '13: "Griffin: Grouping Suspicious ..."
Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs
Sangmin Park, Mary Jean Harrold, and Richard Vuduc
(Georgia Tech, USA)
@InProceedings{ISSTA13p134,
author = {Sangmin Park and Mary Jean Harrold and Richard Vuduc},
title = {Griffin: Grouping Suspicious Memory-Access Patterns to Improve Understanding of Concurrency Bugs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {134-133},
doi = {},
year = {2013},
}
Article: issta13main-id56-p doi:
|
| |
Wang, Chengsong
|
ISSTA '13: "Using Automated Program Repair ..."
Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang
(National University of Defense Technology, China)
@InProceedings{ISSTA13p191,
author = {Yuhua Qi and Xiaoguang Mao and Yan Lei and Chengsong Wang},
title = {Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2013},
}
Article: issta13main-id17-p doi:
|
| |
Wang, Linzhang |
ISSTA '13: "Dynamically Validating Static ..."
Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu
(Nanjing University, China; UC Irvine, USA)
@InProceedings{ISSTA13p112,
author = {Mengchen Li and Yuanjun Chen and Linzhang Wang and Guoqing Xu},
title = {Dynamically Validating Static Memory Leak Warnings},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {112-111},
doi = {},
year = {2013},
}
Article: issta13main-id71-p doi:
|
| |
Wang, Xin Yu |
ISSTA '13: "Combining Model Checking and ..."
Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, and Xin Yu Wang
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Zhejiang University, China)
@InProceedings{ISSTA13p101,
author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xin Yu Wang},
title = {Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {101-100},
doi = {},
year = {2013},
}
Article: issta13main-id78-p doi:
|
| |
Wei, Shiyi |
ISSTA '13: "Practical Blended Taint Analysis ..."
Practical Blended Taint Analysis for JavaScript
Shiyi Wei and Barbara G. Ryder
(Virginia Tech, USA)
@InProceedings{ISSTA13p336,
author = {Shiyi Wei and Barbara G. Ryder},
title = {Practical Blended Taint Analysis for JavaScript},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {336-335},
doi = {},
year = {2013},
}
Article: issta13main-id80-p doi:
|
| |
Weisman, Omri |
ISSTA '13: "Finding Your Way in the Testing ..."
Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing
Omer Tripp, Omri Weisman, and Lotem Guy
(IBM, Israel; Tel Aviv University, Israel; Cybereason, Israel)
@InProceedings{ISSTA13p347,
author = {Omer Tripp and Omri Weisman and Lotem Guy},
title = {Finding Your Way in the Testing Jungle: A Learning Approach to Web Security Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {347-346},
doi = {},
year = {2013},
}
Article: issta13main-id53-p doi:
|
| |
Xiao, Xusheng
|
ISSTA '13: "Context-Sensitive Delta Inference ..."
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Xusheng Xiao, Shi Han, Dongmei Zhang, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China)
@InProceedings{ISSTA13p90,
author = {Xusheng Xiao and Shi Han and Dongmei Zhang and Tao Xie},
title = {Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {90-89},
doi = {},
year = {2013},
}
Article: issta13main-id16-p doi:
|
| |
Xie, Tao |
ISSTA '13: "Context-Sensitive Delta Inference ..."
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Xusheng Xiao, Shi Han, Dongmei Zhang, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China)
@InProceedings{ISSTA13p90,
author = {Xusheng Xiao and Shi Han and Dongmei Zhang and Tao Xie},
title = {Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {90-89},
doi = {},
year = {2013},
}
Article: issta13main-id16-p doi:
|
| |
Xu, Guoqing |
ISSTA '13: "Dynamically Validating Static ..."
Dynamically Validating Static Memory Leak Warnings
Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu
(Nanjing University, China; UC Irvine, USA)
@InProceedings{ISSTA13p112,
author = {Mengchen Li and Yuanjun Chen and Linzhang Wang and Guoqing Xu},
title = {Dynamically Validating Static Memory Leak Warnings},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {112-111},
doi = {},
year = {2013},
}
Article: issta13main-id71-p doi:
|
| |
Yahav, Eran
|
ISSTA '13: "Finding Rare Numerical Stability ..."
Finding Rare Numerical Stability Errors in Concurrent Computations
Hana Chockler, Karine Even, and Eran Yahav
(IBM Research, Israel; Technion, Israel)
@InProceedings{ISSTA13p12,
author = {Hana Chockler and Karine Even and Eran Yahav},
title = {Finding Rare Numerical Stability Errors in Concurrent Computations},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2013},
}
Article: issta13main-id57-p doi:
|
| |
Yi, Jooyong |
ISSTA '13: "Expressing and Checking Intended ..."
Expressing and Checking Intended Changes via Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury
(National University of Singapore, Singapore)
@InProceedings{ISSTA13p1,
author = {Jooyong Yi and Dawei Qi and Shin Hwei Tan and Abhik Roychoudhury},
title = {Expressing and Checking Intended Changes via Software Change Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2013},
}
Article: issta13main-id95-p doi:
|
| |
Yu, Tingting |
ISSTA '13: "SimRacer: An Automated Framework ..."
SimRacer: An Automated Framework to Support Testing for Process-Level Races
Tingting Yu, Witawas Srisa-an, and Gregg Rothermel
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA13p167,
author = {Tingting Yu and Witawas Srisa-an and Gregg Rothermel},
title = {SimRacer: An Automated Framework to Support Testing for Process-Level Races},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {167-166},
doi = {},
year = {2013},
}
Article: issta13main-id74-p doi:
|
| |
Zemín, Luciano
|
ISSTA '13: "Parallel Bounded Analysis ..."
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
@InProceedings{ISSTA13p23,
author = {Nicolás Rosner and Juan Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias},
title = {Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2013},
}
Article: issta13main-id69-p doi:
|
| |
Zhang, Chaoqiang |
ISSTA '13: "Comparing Non-adequate Test ..."
Comparing Non-adequate Test Suites using Coverage Criteria
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
@InProceedings{ISSTA13p302,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing Non-adequate Test Suites using Coverage Criteria},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {302-301},
doi = {},
year = {2013},
}
Article: issta13main-id67-p doi:
|
| |
Zhang, Dongmei |
ISSTA '13: "Context-Sensitive Delta Inference ..."
Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks
Xusheng Xiao, Shi Han, Dongmei Zhang, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China)
@InProceedings{ISSTA13p90,
author = {Xusheng Xiao and Shi Han and Dongmei Zhang and Tao Xie},
title = {Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {90-89},
doi = {},
year = {2013},
}
Article: issta13main-id16-p doi:
|
| |
Zhang, Lingming |
ISSTA '13: "Selective Mutation Testing ..."
Selective Mutation Testing for Concurrent Code
Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA; Intel, USA)
@InProceedings{ISSTA13p224,
author = {Milos Gligoric and Lingming Zhang and Cristiano Pereira and Gilles Pokam},
title = {Selective Mutation Testing for Concurrent Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {224-223},
doi = {},
year = {2013},
}
Article: issta13main-id106-p doi:
ISSTA '13: "Faster Mutation Testing Inspired ..."
Faster Mutation Testing Inspired by Test Prioritization and Reduction
Lingming Zhang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA13p235,
author = {Lingming Zhang and Darko Marinov and Sarfraz Khurshid},
title = {Faster Mutation Testing Inspired by Test Prioritization and Reduction},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {235-234},
doi = {},
year = {2013},
}
Article: issta13main-id113-p doi:
|
| |
Zhang, Sai |
ISSTA '13: "Automatically Repairing Broken ..."
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lü, and Michael D. Ernst
(University of Washington, USA)
@InProceedings{ISSTA13p45,
author = {Sai Zhang and Hao Lü and Michael D. Ernst},
title = {Automatically Repairing Broken Workflows for Evolving GUI Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2013},
}
Article: issta13main-id44-p doi:
|
