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 ..." 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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, } 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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, } 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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, } 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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, }
	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}, } 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}, }
	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}, }

121 authors

proc time: 0.11