ISSTA 2015 – Author Index

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

	Achour, Sara	ISSTA '15: "An Analysis of Patch Plausibility ..." An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems Zichao Qi, Fan Long, Sara Achour, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{ISSTA15p27, author = {Zichao Qi and Fan Long and Sara Achour and Martin Rinard}, title = {An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid79-p (type: Full Paper (10 pages + references)) doi:
	Adamsen, Christoffer Quist	ISSTA '15: "Systematic Execution of Android ..." Systematic Execution of Android Test Suites in Adverse Conditions Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller (Aarhus University, Denmark) @InProceedings{ISSTA15p92, author = {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders Møller}, title = {Systematic Execution of Android Test Suites in Adverse Conditions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {92-91}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid51-p (type: Full Paper (10 pages + references)) doi:
	Aiken, Alex	ISSTA '15: "Modelgen: Mining Explicit ..." Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions Lazaro Clapp, Saswat Anand, and Alex Aiken (Stanford University, USA) @InProceedings{ISSTA15p144, author = {Lazaro Clapp and Saswat Anand and Alex Aiken}, title = {Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid44-p (type: Full Paper (10 pages + references)) doi:
	Ali, Shaukat	ISSTA '15: "RTCM: A Natural Language Based, ..." RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework Tao Yue, Shaukat Ali, and Man Zhang (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{ISSTA15p443, author = {Tao Yue and Shaukat Ali and Man Zhang}, title = {RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {443-442}, doi = {}, year = {2015}, } Article: issta15main-mainid125-p (type: Full Paper (10 pages + references)) doi:
	Anand, Saswat	ISSTA '15: "Modelgen: Mining Explicit ..." Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions Lazaro Clapp, Saswat Anand, and Alex Aiken (Stanford University, USA) @InProceedings{ISSTA15p144, author = {Lazaro Clapp and Saswat Anand and Alex Aiken}, title = {Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid44-p (type: Full Paper (10 pages + references)) doi:
	Aquino, Andrea	ISSTA '15: "Scalable Program Analysis ..." Scalable Program Analysis through Proof Caching (Doctoral Symposium) Andrea Aquino (University of Lugano, Switzerland) @InProceedings{ISSTA15p480, author = {Andrea Aquino}, title = {Scalable Program Analysis through Proof Caching (Doctoral Symposium)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {480-479}, doi = {}, year = {2015}, } Article: issta15doc-docid1-p (type: Short Paper (4 pages)) doi: ISSTA '15: "Reusing Constraint Proofs ..." Reusing Constraint Proofs in Program Analysis Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè (University of Lugano, Switzerland; University of Milano-Bicocca, Italy) @InProceedings{ISSTA15p339, author = {Andrea Aquino and Francesco A. Bianchi and Meixian Chen and Giovanni Denaro and Mauro Pezzè}, title = {Reusing Constraint Proofs in Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {}, year = {2015}, } Article: issta15main-mainid78-p (type: Full Paper (10 pages + references)) doi:
	Arcuri, Andrea	ISSTA '15: "Automated Unit Test Generation ..." Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations José Miguel Rojas, Gordon Fraser, and Andrea Arcuri (University of Sheffield, UK; Scienta, Norway; University of Luxembourg, Luxembourg) @InProceedings{ISSTA15p378, author = {José Miguel Rojas and Gordon Fraser and Andrea Arcuri}, title = {Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {378-377}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid22-p (type: Full Paper (10 pages + references)) doi:
	Arnold, Matthew	ISSTA '15: "CanaryAdvisor: A Statistical-Based ..." CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo) Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini (IBM Research, USA) @InProceedings{ISSTA15p466, author = {Alexander Tarvo and Peter F. Sweeney and Nick Mitchell and V.T. Rajan and Matthew Arnold and Ioana Baldini}, title = {CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2015}, } Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:
	Azimi, Pooria	ISSTA '15: "TSTL: A Language and Tool ..." TSTL: A Language and Tool for Testing (Demo) Alex Groce, Jervis Pinto, Pooria Azimi, and Pranjal Mittal (Oregon State University, USA) @InProceedings{ISSTA15p461, author = {Alex Groce and Jervis Pinto and Pooria Azimi and Pranjal Mittal}, title = {TSTL: A Language and Tool for Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2015}, } Article: issta15demo-demoid4-p (type: Short Paper (5 pages)) doi:
	Baldini, Ioana	ISSTA '15: "CanaryAdvisor: A Statistical-Based ..." CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo) Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini (IBM Research, USA) @InProceedings{ISSTA15p466, author = {Alexander Tarvo and Peter F. Sweeney and Nick Mitchell and V.T. Rajan and Matthew Arnold and Ioana Baldini}, title = {CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2015}, } Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:
	Barr, Earl T.	ISSTA '15: "Automated Software Transplantation ..." Automated Software Transplantation Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke (University College London, UK) @InProceedings{ISSTA15p287, author = {Earl T. Barr and Mark Harman and Yue Jia and Alexandru Marginean and Justyna Petke}, title = {Automated Software Transplantation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid45-p (type: Full Paper (10 pages + references)) doi:
	Bell, Jonathan	ISSTA '15: "Dynamic Taint Tracking for ..." Dynamic Taint Tracking for Java with Phosphor (Demo) Jonathan Bell and Gail Kaiser (Columbia University, USA) @InProceedings{ISSTA15p456, author = {Jonathan Bell and Gail Kaiser}, title = {Dynamic Taint Tracking for Java with Phosphor (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {456-455}, doi = {}, year = {2015}, } Article: issta15demo-demoid2-p (type: Short Paper (5 pages)) doi:
	Bianchi, Francesco A.	ISSTA '15: "Reusing Constraint Proofs ..." Reusing Constraint Proofs in Program Analysis Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè (University of Lugano, Switzerland; University of Milano-Bicocca, Italy) @InProceedings{ISSTA15p339, author = {Andrea Aquino and Francesco A. Bianchi and Meixian Chen and Giovanni Denaro and Mauro Pezzè}, title = {Reusing Constraint Proofs in Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {}, year = {2015}, } Article: issta15main-mainid78-p (type: Full Paper (10 pages + references)) doi:
	Briand, Lionel	ISSTA '15: "Automatic Generation of System ..." Automatic Generation of System Test Cases from Use Case Specifications Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal (University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan) @InProceedings{ISSTA15p430, author = {Chunhui Wang and Fabrizio Pastore and Arda Goknil and Lionel Briand and Zohaib Iqbal}, title = {Automatic Generation of System Test Cases from Use Case Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {}, year = {2015}, } Article: issta15main-mainid58-p (type: Full Paper (10 pages + references)) doi:
	Brun, Yuriy	ISSTA '15: "Preventing Data Errors with ..." Preventing Data Errors with Continuous Testing Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou (University of Washington, USA; University of Massachusetts, USA) @InProceedings{ISSTA15p417, author = {Kıvanç Muşlu and Yuriy Brun and Alexandra Meliou}, title = {Preventing Data Errors with Continuous Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2015}, } Article: issta15main-mainid83-p (type: Full Paper (10 pages + references)) doi:
	Burke, Edmund K.	ISSTA '15: "Empirical Evaluation of Pareto ..." Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation Michael G. Epitropakis, Shin Yoo, Mark Harman, and Edmund K. Burke (University of Stirling, UK; University College London, UK) @InProceedings{ISSTA15p261, author = {Michael G. Epitropakis and Shin Yoo and Mark Harman and Edmund K. Burke}, title = {Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: issta15main-mainid72-p (type: Full Paper (10 pages + references)) doi:
	Chandramohan, Mahinthan	ISSTA '15: "Detection and Classification ..." Detection and Classification of Malicious JavaScript via Attack Behavior Modelling Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ISSTA15p53, author = {Yinxing Xue and Junjie Wang and Yang Liu and Hao Xiao and Jun Sun and Mahinthan Chandramohan}, title = {Detection and Classification of Malicious JavaScript via Attack Behavior Modelling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, } Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:
	Chen, Hongxu	ISSTA '15: "S-Looper: Automatic Summarization ..." S-Looper: Automatic Summarization for Multipath String Loops Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, and Hongxu Chen (Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA) @InProceedings{ISSTA15p209, author = {Xiaofei Xie and Yang Liu and Wei Le and Xiaohong Li and Hongxu Chen}, title = {S-Looper: Automatic Summarization for Multipath String Loops}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2015}, } Article: issta15main-mainid69-p (type: Full Paper (10 pages + references)) doi:
	Chen, Manman	ISSTA '15: "Optimizing Selection of Competing ..." Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p274, author = {Tian Huat Tan and Yinxing Xue and Manman Chen and Jun Sun and Yang Liu and Jin Song Dong}, title = {Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi:
	Chen, Meixian	ISSTA '15: "Reusing Constraint Proofs ..." Reusing Constraint Proofs in Program Analysis Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè (University of Lugano, Switzerland; University of Milano-Bicocca, Italy) @InProceedings{ISSTA15p339, author = {Andrea Aquino and Francesco A. Bianchi and Meixian Chen and Giovanni Denaro and Mauro Pezzè}, title = {Reusing Constraint Proofs in Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {}, year = {2015}, } Article: issta15main-mainid78-p (type: Full Paper (10 pages + references)) doi:
	Chen, Xiangqun	ISSTA '15: "WuKong: A Scalable and Accurate ..." WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection Haoyu Wang, Yao Guo, Ziang Ma, and Xiangqun Chen (Peking University, China) @InProceedings{ISSTA15p79, author = {Haoyu Wang and Yao Guo and Ziang Ma and Xiangqun Chen}, title = {WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2015}, } Article: issta15main-mainid21-p (type: Full Paper (10 pages + references)) doi:
	Chiba, Shigeru	ISSTA '15: "Calculation Coverage Testing ..." Calculation Coverage Testing in Scientific Applications Yoshiki Sato, Shumpei Hozumi, and Shigeru Chiba (University of Tokyo, Japan) @InProceedings{ISSTA15p391, author = {Yoshiki Sato and Shumpei Hozumi and Shigeru Chiba}, title = {Calculation Coverage Testing in Scientific Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid28-p (type: Full Paper (10 pages + references)) doi:
	Clapp, Lazaro	ISSTA '15: "Modelgen: Mining Explicit ..." Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions Lazaro Clapp, Saswat Anand, and Alex Aiken (Stanford University, USA) @InProceedings{ISSTA15p144, author = {Lazaro Clapp and Saswat Anand and Alex Aiken}, title = {Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid44-p (type: Full Paper (10 pages + references)) doi:
	Cong, Kai	ISSTA '15: "Automatic Fault Injection ..." Automatic Fault Injection for Driver Robustness Testing Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie (Portland State University, USA) @InProceedings{ISSTA15p404, author = {Kai Cong and Li Lei and Zhenkun Yang and Fei Xie}, title = {Automatic Fault Injection for Driver Robustness Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {404-403}, doi = {}, year = {2015}, } Article: issta15main-mainid52-p (type: Full Paper (10 pages + references)) doi:
	Dahse, Johannes	ISSTA '15: "Experience Report: An Empirical ..." Experience Report: An Empirical Study of PHP Security Mechanism Usage Johannes Dahse and Thorsten Holz (Ruhr University Bochum, Germany) @InProceedings{ISSTA15p66, author = {Johannes Dahse and Thorsten Holz}, title = {Experience Report: An Empirical Study of PHP Security Mechanism Usage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2015}, } Article: issta15main-mainid65-p (type: Full Paper (10 pages + references)) doi:
	Demiroz, Gulsen	ISSTA '15: "Cost-Aware Combinatorial Interaction ..." Cost-Aware Combinatorial Interaction Testing (Doctoral Symposium) Gulsen Demiroz (Sabanci University, Turkey) @InProceedings{ISSTA15p488, author = {Gulsen Demiroz}, title = {Cost-Aware Combinatorial Interaction Testing (Doctoral Symposium)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {488-487}, doi = {}, year = {2015}, } Article: issta15doc-docid5-p (type: Short Paper (4 pages)) doi:
	Denaro, Giovanni	ISSTA '15: "Reusing Constraint Proofs ..." Reusing Constraint Proofs in Program Analysis Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè (University of Lugano, Switzerland; University of Milano-Bicocca, Italy) @InProceedings{ISSTA15p339, author = {Andrea Aquino and Francesco A. Bianchi and Meixian Chen and Giovanni Denaro and Mauro Pezzè}, title = {Reusing Constraint Proofs in Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {}, year = {2015}, } Article: issta15main-mainid78-p (type: Full Paper (10 pages + references)) doi:
	Dhok, Monika	ISSTA '15: "Pegasus: Automatic Barrier ..." Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems Monika Dhok, Rashmi Mudduluru, and Murali Krishna Ramanathan (Indian Institute of Science, India) @InProceedings{ISSTA15p170, author = {Monika Dhok and Rashmi Mudduluru and Murali Krishna Ramanathan}, title = {Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } Article: issta15main-mainid29-p (type: Full Paper (10 pages + references)) doi:
	Dimjašević, Marko	ISSTA '15: "Test-Case Generation for Runtime ..." Test-Case Generation for Runtime Analysis and Vice Versa: Verification of Aircraft Separation Assurance Marko Dimjašević and Dimitra Giannakopoulou (University of Utah, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA15p313, author = {Marko Dimjašević and Dimitra Giannakopoulou}, title = {Test-Case Generation for Runtime Analysis and Vice Versa: Verification of Aircraft Separation Assurance}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2015}, } Article: issta15main-mainid126-p (type: Full Paper (10 pages + references)) doi:
	Dolby, Julian	ISSTA '15: "Scalable and Precise Taint ..." Scalable and Precise Taint Analysis for Android Wei Huang, Yao Dong, Ana Milanova, and Julian Dolby (Google, USA; Rensselaer Polytechnic Institute, USA; IBM Research, USA) @InProceedings{ISSTA15p118, author = {Wei Huang and Yao Dong and Ana Milanova and Julian Dolby}, title = {Scalable and Precise Taint Analysis for Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid93-p (type: Full Paper (10 pages + references)) doi:
	Dong, Jin Song	ISSTA '15: "Optimizing Selection of Competing ..." Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p274, author = {Tian Huat Tan and Yinxing Xue and Manman Chen and Jun Sun and Yang Liu and Jin Song Dong}, title = {Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Reliability Assessment for ..." Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p326, author = {Lin Gui and Jun Sun and Yang Liu and Jin Song Dong}, title = {Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: issta15main-mainid18-p (type: Full Paper (10 pages + references)) doi:
	Dong, Yao	ISSTA '15: "Scalable and Precise Taint ..." Scalable and Precise Taint Analysis for Android Wei Huang, Yao Dong, Ana Milanova, and Julian Dolby (Google, USA; Rensselaer Polytechnic Institute, USA; IBM Research, USA) @InProceedings{ISSTA15p118, author = {Wei Huang and Yao Dong and Ana Milanova and Julian Dolby}, title = {Scalable and Precise Taint Analysis for Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid93-p (type: Full Paper (10 pages + references)) doi:
	Eloussi, Lamyaa	ISSTA '15: "Practical Regression Test ..." Practical Regression Test Selection with Dynamic File Dependencies Milos Gligoric, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p235, author = {Milos Gligoric and Lamyaa Eloussi and Darko Marinov}, title = {Practical Regression Test Selection with Dynamic File Dependencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {235-234}, doi = {}, year = {2015}, } Article: issta15main-mainid132-p (type: Full Paper (10 pages + references)) doi:
	Epitropakis, Michael G.	ISSTA '15: "Empirical Evaluation of Pareto ..." Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation Michael G. Epitropakis, Shin Yoo, Mark Harman, and Edmund K. Burke (University of Stirling, UK; University College London, UK) @InProceedings{ISSTA15p261, author = {Michael G. Epitropakis and Shin Yoo and Mark Harman and Edmund K. Burke}, title = {Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: issta15main-mainid72-p (type: Full Paper (10 pages + references)) doi:
	Ernst, Michael D.	ISSTA '15: "Proactive Detection of Inadequate ..." Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors Sai Zhang and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA15p14, author = {Sai Zhang and Michael D. Ernst}, title = {Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2015}, } Article: issta15main-mainid111-p (type: Full Paper (10 pages + references)) doi:
	Fraser, Gordon	ISSTA '15: "Automated Unit Test Generation ..." Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations José Miguel Rojas, Gordon Fraser, and Andrea Arcuri (University of Sheffield, UK; Scienta, Norway; University of Luxembourg, Luxembourg) @InProceedings{ISSTA15p378, author = {José Miguel Rojas and Gordon Fraser and Andrea Arcuri}, title = {Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {378-377}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid22-p (type: Full Paper (10 pages + references)) doi:
	Ghezzi, Carlo	ISSTA '15: "Enhancing Reuse of Constraint ..." Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution Xiangyang Jia, Carlo Ghezzi, and Shi Ying (Wuhan University, China; Politecnico di Milano, Italy) @InProceedings{ISSTA15p196, author = {Xiangyang Jia and Carlo Ghezzi and Shi Ying}, title = {Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2015}, } Article: issta15main-mainid13-p (type: Full Paper (10 pages + references)) doi:
	Giannakopoulou, Dimitra	ISSTA '15: "Test-Case Generation for Runtime ..." Test-Case Generation for Runtime Analysis and Vice Versa: Verification of Aircraft Separation Assurance Marko Dimjašević and Dimitra Giannakopoulou (University of Utah, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA15p313, author = {Marko Dimjašević and Dimitra Giannakopoulou}, title = {Test-Case Generation for Runtime Analysis and Vice Versa: Verification of Aircraft Separation Assurance}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2015}, } Article: issta15main-mainid126-p (type: Full Paper (10 pages + references)) doi:
	Gligoric, Milos	ISSTA '15: "Practical Regression Test ..." Practical Regression Test Selection with Dynamic File Dependencies Milos Gligoric, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p235, author = {Milos Gligoric and Lamyaa Eloussi and Darko Marinov}, title = {Practical Regression Test Selection with Dynamic File Dependencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {235-234}, doi = {}, year = {2015}, } Article: issta15main-mainid132-p (type: Full Paper (10 pages + references)) doi:
	Goknil, Arda	ISSTA '15: "Automatic Generation of System ..." Automatic Generation of System Test Cases from Use Case Specifications Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal (University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan) @InProceedings{ISSTA15p430, author = {Chunhui Wang and Fabrizio Pastore and Arda Goknil and Lionel Briand and Zohaib Iqbal}, title = {Automatic Generation of System Test Cases from Use Case Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {}, year = {2015}, } Article: issta15main-mainid58-p (type: Full Paper (10 pages + references)) doi:
	Gong, Liang	ISSTA '15: "DLint: Dynamically Checking ..." DLint: Dynamically Checking Bad Coding Practices in JavaScript Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen (University of California at Berkeley, USA; TU Darmstadt, Germany; Samsung Research, USA) @InProceedings{ISSTA15p105, author = {Liang Gong and Michael Pradel and Manu Sridharan and Koushik Sen}, title = {DLint: Dynamically Checking Bad Coding Practices in JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {105-104}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid36-p (type: Full Paper (10 pages + references)) doi:
	Grechanik, Mark	ISSTA '15: "Automating Performance Bottleneck ..." Automating Performance Bottleneck Detection using Search-Based Application Profiling Du Shen, Qi Luo, Denys Poshyvanyk, and Mark Grechanik (College of William and Mary, USA; University of Illinois at Chicago, USA) @InProceedings{ISSTA15p300, author = {Du Shen and Qi Luo and Denys Poshyvanyk and Mark Grechanik}, title = {Automating Performance Bottleneck Detection using Search-Based Application Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {300-299}, doi = {}, year = {2015}, } Article: issta15main-mainid95-p (type: Full Paper (10 pages + references)) doi:
	Groce, Alex	ISSTA '15: "TSTL: A Language and Tool ..." TSTL: A Language and Tool for Testing (Demo) Alex Groce, Jervis Pinto, Pooria Azimi, and Pranjal Mittal (Oregon State University, USA) @InProceedings{ISSTA15p461, author = {Alex Groce and Jervis Pinto and Pooria Azimi and Pranjal Mittal}, title = {TSTL: A Language and Tool for Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2015}, } Article: issta15demo-demoid4-p (type: Short Paper (5 pages)) doi:
	Gui, Lin	ISSTA '15: "Reliability Assessment for ..." Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p326, author = {Lin Gui and Jun Sun and Yang Liu and Jin Song Dong}, title = {Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: issta15main-mainid18-p (type: Full Paper (10 pages + references)) doi:
	Gunawi, Haryadi S.	ISSTA '15: "SAMC: A Fast Model Checker ..." SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo) Tanakorn Leesatapornwongsa and Haryadi S. Gunawi (University of Chicago, USA) @InProceedings{ISSTA15p471, author = {Tanakorn Leesatapornwongsa and Haryadi S. Gunawi}, title = {SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {471-470}, doi = {}, year = {2015}, } Article: issta15demo-demoid3-p (type: Short Paper (5 pages)) doi:
	Guo, Yao	ISSTA '15: "WuKong: A Scalable and Accurate ..." WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection Haoyu Wang, Yao Guo, Ziang Ma, and Xiangqun Chen (Peking University, China) @InProceedings{ISSTA15p79, author = {Haoyu Wang and Yao Guo and Ziang Ma and Xiangqun Chen}, title = {WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2015}, } Article: issta15main-mainid21-p (type: Full Paper (10 pages + references)) doi:
	Gyori, Alex	ISSTA '15: "Reliable Testing: Detecting ..." Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency Alex Gyori, August Shi, Farah Hariri, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p248, author = {Alex Gyori and August Shi and Farah Hariri and Darko Marinov}, title = {Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {248-247}, doi = {}, year = {2015}, } Article: issta15main-mainid123-p (type: Full Paper (10 pages + references)) doi:
	Hariri, Farah	ISSTA '15: "Reliable Testing: Detecting ..." Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency Alex Gyori, August Shi, Farah Hariri, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p248, author = {Alex Gyori and August Shi and Farah Hariri and Darko Marinov}, title = {Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {248-247}, doi = {}, year = {2015}, } Article: issta15main-mainid123-p (type: Full Paper (10 pages + references)) doi:
	Harman, Mark	ISSTA '15: "Empirical Evaluation of Pareto ..." Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation Michael G. Epitropakis, Shin Yoo, Mark Harman, and Edmund K. Burke (University of Stirling, UK; University College London, UK) @InProceedings{ISSTA15p261, author = {Michael G. Epitropakis and Shin Yoo and Mark Harman and Edmund K. Burke}, title = {Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: issta15main-mainid72-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Automated Software Transplantation ..." Automated Software Transplantation Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke (University College London, UK) @InProceedings{ISSTA15p287, author = {Earl T. Barr and Mark Harman and Yue Jia and Alexandru Marginean and Justyna Petke}, title = {Automated Software Transplantation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid45-p (type: Full Paper (10 pages + references)) doi:
	Hay, Roee	ISSTA '15: "Dynamic Detection of Inter-application ..." Dynamic Detection of Inter-application Communication Vulnerabilities in Android Roee Hay, Omer Tripp, and Marco Pistoia (IBM, Israel; IBM Research, USA) @InProceedings{ISSTA15p131, author = {Roee Hay and Omer Tripp and Marco Pistoia}, title = {Dynamic Detection of Inter-application Communication Vulnerabilities in Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {131-130}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid20-p (type: Full Paper (10 pages + references)) doi:
	Holz, Thorsten	ISSTA '15: "Experience Report: An Empirical ..." Experience Report: An Empirical Study of PHP Security Mechanism Usage Johannes Dahse and Thorsten Holz (Ruhr University Bochum, Germany) @InProceedings{ISSTA15p66, author = {Johannes Dahse and Thorsten Holz}, title = {Experience Report: An Empirical Study of PHP Security Mechanism Usage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2015}, } Article: issta15main-mainid65-p (type: Full Paper (10 pages + references)) doi:
	Honiden, Shinichi	ISSTA '15: "Feedback-Controlled Random ..." Feedback-Controlled Random Test Generation Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, and Shinichi Honiden (University of Tokyo, Japan; National Institute of Informatics, Japan) @InProceedings{ISSTA15p352, author = {Kohsuke Yatoh and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, title = {Feedback-Controlled Random Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid135-p (type: Full Paper (10 pages + references)) doi:
	Hothersall-Thomas, Charlie	ISSTA '15: "BrowserAudit: Automated Testing ..." BrowserAudit: Automated Testing of Browser Security Features Charlie Hothersall-Thomas, Sergio Maffeis, and Chris Novakovic (Netcraft, UK; Imperial College London, UK) @InProceedings{ISSTA15p40, author = {Charlie Hothersall-Thomas and Sergio Maffeis and Chris Novakovic}, title = {BrowserAudit: Automated Testing of Browser Security Features}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid142-p (type: Full Paper (10 pages + references)) doi:
	Hozumi, Shumpei	ISSTA '15: "Calculation Coverage Testing ..." Calculation Coverage Testing in Scientific Applications Yoshiki Sato, Shumpei Hozumi, and Shigeru Chiba (University of Tokyo, Japan) @InProceedings{ISSTA15p391, author = {Yoshiki Sato and Shumpei Hozumi and Shigeru Chiba}, title = {Calculation Coverage Testing in Scientific Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid28-p (type: Full Paper (10 pages + references)) doi:
	Huang, Wei	ISSTA '15: "Scalable and Precise Taint ..." Scalable and Precise Taint Analysis for Android Wei Huang, Yao Dong, Ana Milanova, and Julian Dolby (Google, USA; Rensselaer Polytechnic Institute, USA; IBM Research, USA) @InProceedings{ISSTA15p118, author = {Wei Huang and Yao Dong and Ana Milanova and Julian Dolby}, title = {Scalable and Precise Taint Analysis for Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid93-p (type: Full Paper (10 pages + references)) doi:
	Iqbal, Zohaib	ISSTA '15: "Automatic Generation of System ..." Automatic Generation of System Test Cases from Use Case Specifications Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal (University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan) @InProceedings{ISSTA15p430, author = {Chunhui Wang and Fabrizio Pastore and Arda Goknil and Lionel Briand and Zohaib Iqbal}, title = {Automatic Generation of System Test Cases from Use Case Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {}, year = {2015}, } Article: issta15main-mainid58-p (type: Full Paper (10 pages + references)) doi:
	Ishikawa, Fuyuki	ISSTA '15: "Feedback-Controlled Random ..." Feedback-Controlled Random Test Generation Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, and Shinichi Honiden (University of Tokyo, Japan; National Institute of Informatics, Japan) @InProceedings{ISSTA15p352, author = {Kohsuke Yatoh and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, title = {Feedback-Controlled Random Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid135-p (type: Full Paper (10 pages + references)) doi:
	Jia, Xiangyang	ISSTA '15: "Enhancing Reuse of Constraint ..." Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution Xiangyang Jia, Carlo Ghezzi, and Shi Ying (Wuhan University, China; Politecnico di Milano, Italy) @InProceedings{ISSTA15p196, author = {Xiangyang Jia and Carlo Ghezzi and Shi Ying}, title = {Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2015}, } Article: issta15main-mainid13-p (type: Full Paper (10 pages + references)) doi:
	Jia, Yue	ISSTA '15: "Automated Software Transplantation ..." Automated Software Transplantation Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke (University College London, UK) @InProceedings{ISSTA15p287, author = {Earl T. Barr and Mark Harman and Yue Jia and Alexandru Marginean and Justyna Petke}, title = {Automated Software Transplantation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid45-p (type: Full Paper (10 pages + references)) doi:
	Kaiser, Gail	ISSTA '15: "Dynamic Taint Tracking for ..." Dynamic Taint Tracking for Java with Phosphor (Demo) Jonathan Bell and Gail Kaiser (Columbia University, USA) @InProceedings{ISSTA15p456, author = {Jonathan Bell and Gail Kaiser}, title = {Dynamic Taint Tracking for Java with Phosphor (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {456-455}, doi = {}, year = {2015}, } Article: issta15demo-demoid2-p (type: Short Paper (5 pages)) doi:
	Khoshnood, Sepideh	ISSTA '15: "ConcBugAssist: Constraint ..." ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs Sepideh Khoshnood, Markus Kusano, and Chao Wang (Virginia Tech, USA) @InProceedings{ISSTA15p183, author = {Sepideh Khoshnood and Markus Kusano and Chao Wang}, title = {ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {183-182}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid124-p (type: Full Paper (10 pages + references)) doi:
	Kusano, Markus	ISSTA '15: "ConcBugAssist: Constraint ..." ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs Sepideh Khoshnood, Markus Kusano, and Chao Wang (Virginia Tech, USA) @InProceedings{ISSTA15p183, author = {Sepideh Khoshnood and Markus Kusano and Chao Wang}, title = {ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {183-182}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid124-p (type: Full Paper (10 pages + references)) doi:
	Le, Vu	ISSTA '15: "Randomized Stress-Testing ..." Randomized Stress-Testing of Link-Time Optimizers Vu Le, Chengnian Sun, and Zhendong Su (University of California at Davis, USA) @InProceedings{ISSTA15p365, author = {Vu Le and Chengnian Sun and Zhendong Su}, title = {Randomized Stress-Testing of Link-Time Optimizers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {365-364}, doi = {}, year = {2015}, } Article: issta15main-mainid26-p (type: Full Paper (10 pages + references)) doi:
	Le, Wei	ISSTA '15: "S-Looper: Automatic Summarization ..." S-Looper: Automatic Summarization for Multipath String Loops Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, and Hongxu Chen (Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA) @InProceedings{ISSTA15p209, author = {Xiaofei Xie and Yang Liu and Wei Le and Xiaohong Li and Hongxu Chen}, title = {S-Looper: Automatic Summarization for Multipath String Loops}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2015}, } Article: issta15main-mainid69-p (type: Full Paper (10 pages + references)) doi:
	Leesatapornwongsa, Tanakorn	ISSTA '15: "SAMC: A Fast Model Checker ..." SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo) Tanakorn Leesatapornwongsa and Haryadi S. Gunawi (University of Chicago, USA) @InProceedings{ISSTA15p471, author = {Tanakorn Leesatapornwongsa and Haryadi S. Gunawi}, title = {SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {471-470}, doi = {}, year = {2015}, } Article: issta15demo-demoid3-p (type: Short Paper (5 pages)) doi:
	Lei, Li	ISSTA '15: "Automatic Fault Injection ..." Automatic Fault Injection for Driver Robustness Testing Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie (Portland State University, USA) @InProceedings{ISSTA15p404, author = {Kai Cong and Li Lei and Zhenkun Yang and Fei Xie}, title = {Automatic Fault Injection for Driver Robustness Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {404-403}, doi = {}, year = {2015}, } Article: issta15main-mainid52-p (type: Full Paper (10 pages + references)) doi:
	Li, Xiaohong	ISSTA '15: "S-Looper: Automatic Summarization ..." S-Looper: Automatic Summarization for Multipath String Loops Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, and Hongxu Chen (Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA) @InProceedings{ISSTA15p209, author = {Xiaofei Xie and Yang Liu and Wei Le and Xiaohong Li and Hongxu Chen}, title = {S-Looper: Automatic Summarization for Multipath String Loops}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2015}, } Article: issta15main-mainid69-p (type: Full Paper (10 pages + references)) doi:
	Liu, Yang	ISSTA '15: "S-Looper: Automatic Summarization ..." S-Looper: Automatic Summarization for Multipath String Loops Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, and Hongxu Chen (Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA) @InProceedings{ISSTA15p209, author = {Xiaofei Xie and Yang Liu and Wei Le and Xiaohong Li and Hongxu Chen}, title = {S-Looper: Automatic Summarization for Multipath String Loops}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2015}, } Article: issta15main-mainid69-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Optimizing Selection of Competing ..." Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p274, author = {Tian Huat Tan and Yinxing Xue and Manman Chen and Jun Sun and Yang Liu and Jin Song Dong}, title = {Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Reliability Assessment for ..." Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p326, author = {Lin Gui and Jun Sun and Yang Liu and Jin Song Dong}, title = {Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: issta15main-mainid18-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Detection and Classification ..." Detection and Classification of Malicious JavaScript via Attack Behavior Modelling Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ISSTA15p53, author = {Yinxing Xue and Junjie Wang and Yang Liu and Hao Xiao and Jun Sun and Mahinthan Chandramohan}, title = {Detection and Classification of Malicious JavaScript via Attack Behavior Modelling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, } Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:
	Long, Fan	ISSTA '15: "An Analysis of Patch Plausibility ..." An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems Zichao Qi, Fan Long, Sara Achour, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{ISSTA15p27, author = {Zichao Qi and Fan Long and Sara Achour and Martin Rinard}, title = {An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid79-p (type: Full Paper (10 pages + references)) doi:
	Long, Teng	ISSTA '15: "Collaborative Testing across ..." Collaborative Testing across Shared Software Components (Doctoral Symposium) Teng Long (University of Maryland, USA) @InProceedings{ISSTA15p484, author = {Teng Long}, title = {Collaborative Testing across Shared Software Components (Doctoral Symposium)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {484-483}, doi = {}, year = {2015}, } Article: issta15doc-docid3-p (type: Short Paper (4 pages)) doi:
	Luo, Qi	ISSTA '15: "Automating Performance Bottleneck ..." Automating Performance Bottleneck Detection using Search-Based Application Profiling Du Shen, Qi Luo, Denys Poshyvanyk, and Mark Grechanik (College of William and Mary, USA; University of Illinois at Chicago, USA) @InProceedings{ISSTA15p300, author = {Du Shen and Qi Luo and Denys Poshyvanyk and Mark Grechanik}, title = {Automating Performance Bottleneck Detection using Search-Based Application Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {300-299}, doi = {}, year = {2015}, } Article: issta15main-mainid95-p (type: Full Paper (10 pages + references)) doi:
	Ma, Ziang	ISSTA '15: "WuKong: A Scalable and Accurate ..." WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection Haoyu Wang, Yao Guo, Ziang Ma, and Xiangqun Chen (Peking University, China) @InProceedings{ISSTA15p79, author = {Haoyu Wang and Yao Guo and Ziang Ma and Xiangqun Chen}, title = {WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2015}, } Article: issta15main-mainid21-p (type: Full Paper (10 pages + references)) doi:
	Maffeis, Sergio	ISSTA '15: "BrowserAudit: Automated Testing ..." BrowserAudit: Automated Testing of Browser Security Features Charlie Hothersall-Thomas, Sergio Maffeis, and Chris Novakovic (Netcraft, UK; Imperial College London, UK) @InProceedings{ISSTA15p40, author = {Charlie Hothersall-Thomas and Sergio Maffeis and Chris Novakovic}, title = {BrowserAudit: Automated Testing of Browser Security Features}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid142-p (type: Full Paper (10 pages + references)) doi:
	Marginean, Alexandru	ISSTA '15: "Automated Software Transplantation ..." Automated Software Transplantation Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke (University College London, UK) @InProceedings{ISSTA15p287, author = {Earl T. Barr and Mark Harman and Yue Jia and Alexandru Marginean and Justyna Petke}, title = {Automated Software Transplantation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid45-p (type: Full Paper (10 pages + references)) doi:
	Marinov, Darko	ISSTA '15: "Practical Regression Test ..." Practical Regression Test Selection with Dynamic File Dependencies Milos Gligoric, Lamyaa Eloussi, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p235, author = {Milos Gligoric and Lamyaa Eloussi and Darko Marinov}, title = {Practical Regression Test Selection with Dynamic File Dependencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {235-234}, doi = {}, year = {2015}, } Article: issta15main-mainid132-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Reliable Testing: Detecting ..." Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency Alex Gyori, August Shi, Farah Hariri, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p248, author = {Alex Gyori and August Shi and Farah Hariri and Darko Marinov}, title = {Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {248-247}, doi = {}, year = {2015}, } Article: issta15main-mainid123-p (type: Full Paper (10 pages + references)) doi:
	Meliou, Alexandra	ISSTA '15: "Preventing Data Errors with ..." Preventing Data Errors with Continuous Testing Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou (University of Washington, USA; University of Massachusetts, USA) @InProceedings{ISSTA15p417, author = {Kıvanç Muşlu and Yuriy Brun and Alexandra Meliou}, title = {Preventing Data Errors with Continuous Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2015}, } Article: issta15main-mainid83-p (type: Full Paper (10 pages + references)) doi:
	Mezzetti, Gianluca	ISSTA '15: "Systematic Execution of Android ..." Systematic Execution of Android Test Suites in Adverse Conditions Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller (Aarhus University, Denmark) @InProceedings{ISSTA15p92, author = {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders Møller}, title = {Systematic Execution of Android Test Suites in Adverse Conditions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {92-91}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid51-p (type: Full Paper (10 pages + references)) doi:
	Milanova, Ana	ISSTA '15: "Scalable and Precise Taint ..." Scalable and Precise Taint Analysis for Android Wei Huang, Yao Dong, Ana Milanova, and Julian Dolby (Google, USA; Rensselaer Polytechnic Institute, USA; IBM Research, USA) @InProceedings{ISSTA15p118, author = {Wei Huang and Yao Dong and Ana Milanova and Julian Dolby}, title = {Scalable and Precise Taint Analysis for Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid93-p (type: Full Paper (10 pages + references)) doi:
	Mitchell, Nick	ISSTA '15: "CanaryAdvisor: A Statistical-Based ..." CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo) Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini (IBM Research, USA) @InProceedings{ISSTA15p466, author = {Alexander Tarvo and Peter F. Sweeney and Nick Mitchell and V.T. Rajan and Matthew Arnold and Ioana Baldini}, title = {CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2015}, } Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:
	Mittal, Pranjal	ISSTA '15: "TSTL: A Language and Tool ..." TSTL: A Language and Tool for Testing (Demo) Alex Groce, Jervis Pinto, Pooria Azimi, and Pranjal Mittal (Oregon State University, USA) @InProceedings{ISSTA15p461, author = {Alex Groce and Jervis Pinto and Pooria Azimi and Pranjal Mittal}, title = {TSTL: A Language and Tool for Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2015}, } Article: issta15demo-demoid4-p (type: Short Paper (5 pages)) doi:
	Møller, Anders	ISSTA '15: "Systematic Execution of Android ..." Systematic Execution of Android Test Suites in Adverse Conditions Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller (Aarhus University, Denmark) @InProceedings{ISSTA15p92, author = {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders Møller}, title = {Systematic Execution of Android Test Suites in Adverse Conditions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {92-91}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid51-p (type: Full Paper (10 pages + references)) doi:
	Mudduluru, Rashmi	ISSTA '15: "Pegasus: Automatic Barrier ..." Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems Monika Dhok, Rashmi Mudduluru, and Murali Krishna Ramanathan (Indian Institute of Science, India) @InProceedings{ISSTA15p170, author = {Monika Dhok and Rashmi Mudduluru and Murali Krishna Ramanathan}, title = {Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } Article: issta15main-mainid29-p (type: Full Paper (10 pages + references)) doi:
	Muşlu, Kıvanç	ISSTA '15: "Preventing Data Errors with ..." Preventing Data Errors with Continuous Testing Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou (University of Washington, USA; University of Massachusetts, USA) @InProceedings{ISSTA15p417, author = {Kıvanç Muşlu and Yuriy Brun and Alexandra Meliou}, title = {Preventing Data Errors with Continuous Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2015}, } Article: issta15main-mainid83-p (type: Full Paper (10 pages + references)) doi:
	Narayanaswamy, Ganesh	ISSTA '15: "When Truth Is Efficient: Analysing ..." When Truth Is Efficient: Analysing Concurrency Ganesh Narayanaswamy (University of Oxford, UK) @InProceedings{ISSTA15p157, author = {Ganesh Narayanaswamy}, title = {When Truth Is Efficient: Analysing Concurrency}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2015}, } Article: issta15main-mainid15-p (type: Full Paper (10 pages + references)) doi:
	Novakovic, Chris	ISSTA '15: "BrowserAudit: Automated Testing ..." BrowserAudit: Automated Testing of Browser Security Features Charlie Hothersall-Thomas, Sergio Maffeis, and Chris Novakovic (Netcraft, UK; Imperial College London, UK) @InProceedings{ISSTA15p40, author = {Charlie Hothersall-Thomas and Sergio Maffeis and Chris Novakovic}, title = {BrowserAudit: Automated Testing of Browser Security Features}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid142-p (type: Full Paper (10 pages + references)) doi:
	Ohmann, Peter	ISSTA '15: "Making Your Crashes Work for ..." Making Your Crashes Work for You (Doctoral Symposium) Peter Ohmann (University of Wisconsin-Madison, USA) @InProceedings{ISSTA15p476, author = {Peter Ohmann}, title = {Making Your Crashes Work for You (Doctoral Symposium)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {476-475}, doi = {}, year = {2015}, } Article: issta15doc-docid2-p (type: Short Paper (4 pages)) doi:
	Orso, Alessandro	ISSTA '15: "Evaluating the Usefulness ..." Evaluating the Usefulness of IR-Based Fault Localization Techniques Qianqian Wang, Chris Parnin, and Alessandro Orso (Georgia Tech, USA; North Carolina State University, USA) @InProceedings{ISSTA15p1, author = {Qianqian Wang and Chris Parnin and Alessandro Orso}, title = {Evaluating the Usefulness of IR-Based Fault Localization Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: issta15main-mainid90-p (type: Full Paper (10 pages + references)) doi:
	Parnin, Chris	ISSTA '15: "Evaluating the Usefulness ..." Evaluating the Usefulness of IR-Based Fault Localization Techniques Qianqian Wang, Chris Parnin, and Alessandro Orso (Georgia Tech, USA; North Carolina State University, USA) @InProceedings{ISSTA15p1, author = {Qianqian Wang and Chris Parnin and Alessandro Orso}, title = {Evaluating the Usefulness of IR-Based Fault Localization Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: issta15main-mainid90-p (type: Full Paper (10 pages + references)) doi:
	Pastore, Fabrizio	ISSTA '15: "Automatic Generation of System ..." Automatic Generation of System Test Cases from Use Case Specifications Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal (University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan) @InProceedings{ISSTA15p430, author = {Chunhui Wang and Fabrizio Pastore and Arda Goknil and Lionel Briand and Zohaib Iqbal}, title = {Automatic Generation of System Test Cases from Use Case Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {}, year = {2015}, } Article: issta15main-mainid58-p (type: Full Paper (10 pages + references)) doi:
	Petke, Justyna	ISSTA '15: "Automated Software Transplantation ..." Automated Software Transplantation Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, and Justyna Petke (University College London, UK) @InProceedings{ISSTA15p287, author = {Earl T. Barr and Mark Harman and Yue Jia and Alexandru Marginean and Justyna Petke}, title = {Automated Software Transplantation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid45-p (type: Full Paper (10 pages + references)) doi:
	Pezzè, Mauro	ISSTA '15: "Reusing Constraint Proofs ..." Reusing Constraint Proofs in Program Analysis Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè (University of Lugano, Switzerland; University of Milano-Bicocca, Italy) @InProceedings{ISSTA15p339, author = {Andrea Aquino and Francesco A. Bianchi and Meixian Chen and Giovanni Denaro and Mauro Pezzè}, title = {Reusing Constraint Proofs in Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {}, year = {2015}, } Article: issta15main-mainid78-p (type: Full Paper (10 pages + references)) doi:
	Pinto, Jervis	ISSTA '15: "TSTL: A Language and Tool ..." TSTL: A Language and Tool for Testing (Demo) Alex Groce, Jervis Pinto, Pooria Azimi, and Pranjal Mittal (Oregon State University, USA) @InProceedings{ISSTA15p461, author = {Alex Groce and Jervis Pinto and Pooria Azimi and Pranjal Mittal}, title = {TSTL: A Language and Tool for Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2015}, } Article: issta15demo-demoid4-p (type: Short Paper (5 pages)) doi:
	Pistoia, Marco	ISSTA '15: "Dynamic Detection of Inter-application ..." Dynamic Detection of Inter-application Communication Vulnerabilities in Android Roee Hay, Omer Tripp, and Marco Pistoia (IBM, Israel; IBM Research, USA) @InProceedings{ISSTA15p131, author = {Roee Hay and Omer Tripp and Marco Pistoia}, title = {Dynamic Detection of Inter-application Communication Vulnerabilities in Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {131-130}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid20-p (type: Full Paper (10 pages + references)) doi:
	Poshyvanyk, Denys	ISSTA '15: "Automating Performance Bottleneck ..." Automating Performance Bottleneck Detection using Search-Based Application Profiling Du Shen, Qi Luo, Denys Poshyvanyk, and Mark Grechanik (College of William and Mary, USA; University of Illinois at Chicago, USA) @InProceedings{ISSTA15p300, author = {Du Shen and Qi Luo and Denys Poshyvanyk and Mark Grechanik}, title = {Automating Performance Bottleneck Detection using Search-Based Application Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {300-299}, doi = {}, year = {2015}, } Article: issta15main-mainid95-p (type: Full Paper (10 pages + references)) doi:
	Pradel, Michael	ISSTA '15: "DLint: Dynamically Checking ..." DLint: Dynamically Checking Bad Coding Practices in JavaScript Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen (University of California at Berkeley, USA; TU Darmstadt, Germany; Samsung Research, USA) @InProceedings{ISSTA15p105, author = {Liang Gong and Michael Pradel and Manu Sridharan and Koushik Sen}, title = {DLint: Dynamically Checking Bad Coding Practices in JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {105-104}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid36-p (type: Full Paper (10 pages + references)) doi:
	Qi, Zichao	ISSTA '15: "An Analysis of Patch Plausibility ..." An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems Zichao Qi, Fan Long, Sara Achour, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{ISSTA15p27, author = {Zichao Qi and Fan Long and Sara Achour and Martin Rinard}, title = {An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid79-p (type: Full Paper (10 pages + references)) doi:
	Rajan, V.T.	ISSTA '15: "CanaryAdvisor: A Statistical-Based ..." CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo) Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini (IBM Research, USA) @InProceedings{ISSTA15p466, author = {Alexander Tarvo and Peter F. Sweeney and Nick Mitchell and V.T. Rajan and Matthew Arnold and Ioana Baldini}, title = {CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2015}, } Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:
	Ramanathan, Murali Krishna	ISSTA '15: "Pegasus: Automatic Barrier ..." Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems Monika Dhok, Rashmi Mudduluru, and Murali Krishna Ramanathan (Indian Institute of Science, India) @InProceedings{ISSTA15p170, author = {Monika Dhok and Rashmi Mudduluru and Murali Krishna Ramanathan}, title = {Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } Article: issta15main-mainid29-p (type: Full Paper (10 pages + references)) doi:
	Rinard, Martin	ISSTA '15: "An Analysis of Patch Plausibility ..." An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems Zichao Qi, Fan Long, Sara Achour, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{ISSTA15p27, author = {Zichao Qi and Fan Long and Sara Achour and Martin Rinard}, title = {An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid79-p (type: Full Paper (10 pages + references)) doi:
	Rojas, José Miguel	ISSTA '15: "Automated Unit Test Generation ..." Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations José Miguel Rojas, Gordon Fraser, and Andrea Arcuri (University of Sheffield, UK; Scienta, Norway; University of Luxembourg, Luxembourg) @InProceedings{ISSTA15p378, author = {José Miguel Rojas and Gordon Fraser and Andrea Arcuri}, title = {Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {378-377}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid22-p (type: Full Paper (10 pages + references)) doi:
	Rolfsnes, Thomas	ISSTA '15: "Mining Change History for ..." Mining Change History for Test-Plan Generation (Doctoral Symposium) Thomas Rolfsnes (Simula Research Laboratory, Norway) @InProceedings{ISSTA15p492, author = {Thomas Rolfsnes}, title = {Mining Change History for Test-Plan Generation (Doctoral Symposium)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {492-491}, doi = {}, year = {2015}, } Article: issta15doc-docid4-p (type: Short Paper (4 pages)) doi:
	Sakamoto, Kazunori	ISSTA '15: "Feedback-Controlled Random ..." Feedback-Controlled Random Test Generation Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, and Shinichi Honiden (University of Tokyo, Japan; National Institute of Informatics, Japan) @InProceedings{ISSTA15p352, author = {Kohsuke Yatoh and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, title = {Feedback-Controlled Random Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid135-p (type: Full Paper (10 pages + references)) doi:
	Sato, Yoshiki	ISSTA '15: "Calculation Coverage Testing ..." Calculation Coverage Testing in Scientific Applications Yoshiki Sato, Shumpei Hozumi, and Shigeru Chiba (University of Tokyo, Japan) @InProceedings{ISSTA15p391, author = {Yoshiki Sato and Shumpei Hozumi and Shigeru Chiba}, title = {Calculation Coverage Testing in Scientific Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid28-p (type: Full Paper (10 pages + references)) doi:
	Sen, Koushik	ISSTA '15: "DLint: Dynamically Checking ..." DLint: Dynamically Checking Bad Coding Practices in JavaScript Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen (University of California at Berkeley, USA; TU Darmstadt, Germany; Samsung Research, USA) @InProceedings{ISSTA15p105, author = {Liang Gong and Michael Pradel and Manu Sridharan and Koushik Sen}, title = {DLint: Dynamically Checking Bad Coding Practices in JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {105-104}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid36-p (type: Full Paper (10 pages + references)) doi:
	Shen, Du	ISSTA '15: "Automating Performance Bottleneck ..." Automating Performance Bottleneck Detection using Search-Based Application Profiling Du Shen, Qi Luo, Denys Poshyvanyk, and Mark Grechanik (College of William and Mary, USA; University of Illinois at Chicago, USA) @InProceedings{ISSTA15p300, author = {Du Shen and Qi Luo and Denys Poshyvanyk and Mark Grechanik}, title = {Automating Performance Bottleneck Detection using Search-Based Application Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {300-299}, doi = {}, year = {2015}, } Article: issta15main-mainid95-p (type: Full Paper (10 pages + references)) doi:
	Shi, August	ISSTA '15: "Reliable Testing: Detecting ..." Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency Alex Gyori, August Shi, Farah Hariri, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA15p248, author = {Alex Gyori and August Shi and Farah Hariri and Darko Marinov}, title = {Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {248-247}, doi = {}, year = {2015}, } Article: issta15main-mainid123-p (type: Full Paper (10 pages + references)) doi:
	Sridharan, Manu	ISSTA '15: "DLint: Dynamically Checking ..." DLint: Dynamically Checking Bad Coding Practices in JavaScript Liang Gong, Michael Pradel, Manu Sridharan, and Koushik Sen (University of California at Berkeley, USA; TU Darmstadt, Germany; Samsung Research, USA) @InProceedings{ISSTA15p105, author = {Liang Gong and Michael Pradel and Manu Sridharan and Koushik Sen}, title = {DLint: Dynamically Checking Bad Coding Practices in JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {105-104}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid36-p (type: Full Paper (10 pages + references)) doi:
	Su, Zhendong	ISSTA '15: "Randomized Stress-Testing ..." Randomized Stress-Testing of Link-Time Optimizers Vu Le, Chengnian Sun, and Zhendong Su (University of California at Davis, USA) @InProceedings{ISSTA15p365, author = {Vu Le and Chengnian Sun and Zhendong Su}, title = {Randomized Stress-Testing of Link-Time Optimizers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {365-364}, doi = {}, year = {2015}, } Article: issta15main-mainid26-p (type: Full Paper (10 pages + references)) doi:
	Sun, Chengnian	ISSTA '15: "Randomized Stress-Testing ..." Randomized Stress-Testing of Link-Time Optimizers Vu Le, Chengnian Sun, and Zhendong Su (University of California at Davis, USA) @InProceedings{ISSTA15p365, author = {Vu Le and Chengnian Sun and Zhendong Su}, title = {Randomized Stress-Testing of Link-Time Optimizers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {365-364}, doi = {}, year = {2015}, } Article: issta15main-mainid26-p (type: Full Paper (10 pages + references)) doi:
	Sun, Jun	ISSTA '15: "Optimizing Selection of Competing ..." Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p274, author = {Tian Huat Tan and Yinxing Xue and Manman Chen and Jun Sun and Yang Liu and Jin Song Dong}, title = {Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Reliability Assessment for ..." Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement Lin Gui, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p326, author = {Lin Gui and Jun Sun and Yang Liu and Jin Song Dong}, title = {Reliability Assessment for Distributed Systems via Communication Abstraction and Refinement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: issta15main-mainid18-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Detection and Classification ..." Detection and Classification of Malicious JavaScript via Attack Behavior Modelling Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ISSTA15p53, author = {Yinxing Xue and Junjie Wang and Yang Liu and Hao Xiao and Jun Sun and Mahinthan Chandramohan}, title = {Detection and Classification of Malicious JavaScript via Attack Behavior Modelling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, } Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:
	Sweeney, Peter F.	ISSTA '15: "CanaryAdvisor: A Statistical-Based ..." CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo) Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini (IBM Research, USA) @InProceedings{ISSTA15p466, author = {Alexander Tarvo and Peter F. Sweeney and Nick Mitchell and V.T. Rajan and Matthew Arnold and Ioana Baldini}, title = {CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2015}, } Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:
	Tan, Tian Huat	ISSTA '15: "Optimizing Selection of Competing ..." Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p274, author = {Tian Huat Tan and Yinxing Xue and Manman Chen and Jun Sun and Yang Liu and Jin Song Dong}, title = {Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi:
	Tanofsky, Philip	ISSTA '15: "Experience Report: How is ..." Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE Xiaoyin Wang, Lingming Zhang, and Philip Tanofsky (University of Texas at San Antonio, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA15p222, author = {Xiaoyin Wang and Lingming Zhang and Philip Tanofsky}, title = {Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2015}, } Article: issta15main-mainid112-p (type: Full Paper (10 pages + references)) doi:
	Tarvo, Alexander	ISSTA '15: "CanaryAdvisor: A Statistical-Based ..." CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo) Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V.T. Rajan, Matthew Arnold, and Ioana Baldini (IBM Research, USA) @InProceedings{ISSTA15p466, author = {Alexander Tarvo and Peter F. Sweeney and Nick Mitchell and V.T. Rajan and Matthew Arnold and Ioana Baldini}, title = {CanaryAdvisor: A Statistical-Based Tool for Canary Testing (Demo)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2015}, } Article: issta15demo-demoid6-p (type: Short Paper (5 pages)) doi:
	Tripp, Omer	ISSTA '15: "Dynamic Detection of Inter-application ..." Dynamic Detection of Inter-application Communication Vulnerabilities in Android Roee Hay, Omer Tripp, and Marco Pistoia (IBM, Israel; IBM Research, USA) @InProceedings{ISSTA15p131, author = {Roee Hay and Omer Tripp and Marco Pistoia}, title = {Dynamic Detection of Inter-application Communication Vulnerabilities in Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {131-130}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid20-p (type: Full Paper (10 pages + references)) doi:
	Wang, Chao	ISSTA '15: "ConcBugAssist: Constraint ..." ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs Sepideh Khoshnood, Markus Kusano, and Chao Wang (Virginia Tech, USA) @InProceedings{ISSTA15p183, author = {Sepideh Khoshnood and Markus Kusano and Chao Wang}, title = {ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {183-182}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid124-p (type: Full Paper (10 pages + references)) doi:
	Wang, Chunhui	ISSTA '15: "Automatic Generation of System ..." Automatic Generation of System Test Cases from Use Case Specifications Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal (University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan) @InProceedings{ISSTA15p430, author = {Chunhui Wang and Fabrizio Pastore and Arda Goknil and Lionel Briand and Zohaib Iqbal}, title = {Automatic Generation of System Test Cases from Use Case Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {}, year = {2015}, } Article: issta15main-mainid58-p (type: Full Paper (10 pages + references)) doi:
	Wang, Haoyu	ISSTA '15: "WuKong: A Scalable and Accurate ..." WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection Haoyu Wang, Yao Guo, Ziang Ma, and Xiangqun Chen (Peking University, China) @InProceedings{ISSTA15p79, author = {Haoyu Wang and Yao Guo and Ziang Ma and Xiangqun Chen}, title = {WuKong: A Scalable and Accurate Two-Phase Approach to Android App Clone Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2015}, } Article: issta15main-mainid21-p (type: Full Paper (10 pages + references)) doi:
	Wang, Junjie	ISSTA '15: "Detection and Classification ..." Detection and Classification of Malicious JavaScript via Attack Behavior Modelling Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ISSTA15p53, author = {Yinxing Xue and Junjie Wang and Yang Liu and Hao Xiao and Jun Sun and Mahinthan Chandramohan}, title = {Detection and Classification of Malicious JavaScript via Attack Behavior Modelling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, } Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:
	Wang, Qianqian	ISSTA '15: "Evaluating the Usefulness ..." Evaluating the Usefulness of IR-Based Fault Localization Techniques Qianqian Wang, Chris Parnin, and Alessandro Orso (Georgia Tech, USA; North Carolina State University, USA) @InProceedings{ISSTA15p1, author = {Qianqian Wang and Chris Parnin and Alessandro Orso}, title = {Evaluating the Usefulness of IR-Based Fault Localization Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: issta15main-mainid90-p (type: Full Paper (10 pages + references)) doi:
	Wang, Xiaoyin	ISSTA '15: "Experience Report: How is ..." Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE Xiaoyin Wang, Lingming Zhang, and Philip Tanofsky (University of Texas at San Antonio, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA15p222, author = {Xiaoyin Wang and Lingming Zhang and Philip Tanofsky}, title = {Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2015}, } Article: issta15main-mainid112-p (type: Full Paper (10 pages + references)) doi:
	Xiao, Hao	ISSTA '15: "Detection and Classification ..." Detection and Classification of Malicious JavaScript via Attack Behavior Modelling Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ISSTA15p53, author = {Yinxing Xue and Junjie Wang and Yang Liu and Hao Xiao and Jun Sun and Mahinthan Chandramohan}, title = {Detection and Classification of Malicious JavaScript via Attack Behavior Modelling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, } Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:
	Xie, Fei	ISSTA '15: "Automatic Fault Injection ..." Automatic Fault Injection for Driver Robustness Testing Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie (Portland State University, USA) @InProceedings{ISSTA15p404, author = {Kai Cong and Li Lei and Zhenkun Yang and Fei Xie}, title = {Automatic Fault Injection for Driver Robustness Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {404-403}, doi = {}, year = {2015}, } Article: issta15main-mainid52-p (type: Full Paper (10 pages + references)) doi:
	Xie, Xiaofei	ISSTA '15: "S-Looper: Automatic Summarization ..." S-Looper: Automatic Summarization for Multipath String Loops Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, and Hongxu Chen (Tianjin University, China; Nanyang Technological University, Singapore; Iowa State University, USA) @InProceedings{ISSTA15p209, author = {Xiaofei Xie and Yang Liu and Wei Le and Xiaohong Li and Hongxu Chen}, title = {S-Looper: Automatic Summarization for Multipath String Loops}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2015}, } Article: issta15main-mainid69-p (type: Full Paper (10 pages + references)) doi:
	Xue, Yinxing	ISSTA '15: "Optimizing Selection of Competing ..." Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ISSTA15p274, author = {Tian Huat Tan and Yinxing Xue and Manman Chen and Jun Sun and Yang Liu and Jin Song Dong}, title = {Optimizing Selection of Competing Features via Feedback-Directed Evolutionary Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid31-p (type: Full Paper (10 pages + references)) doi: ISSTA '15: "Detection and Classification ..." Detection and Classification of Malicious JavaScript via Attack Behavior Modelling Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, and Mahinthan Chandramohan (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ISSTA15p53, author = {Yinxing Xue and Junjie Wang and Yang Liu and Hao Xiao and Jun Sun and Mahinthan Chandramohan}, title = {Detection and Classification of Malicious JavaScript via Attack Behavior Modelling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, } Article: issta15main-mainid56-p (type: Full Paper (10 pages + references)) doi:
	Yang, Zhenkun	ISSTA '15: "Automatic Fault Injection ..." Automatic Fault Injection for Driver Robustness Testing Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie (Portland State University, USA) @InProceedings{ISSTA15p404, author = {Kai Cong and Li Lei and Zhenkun Yang and Fei Xie}, title = {Automatic Fault Injection for Driver Robustness Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {404-403}, doi = {}, year = {2015}, } Article: issta15main-mainid52-p (type: Full Paper (10 pages + references)) doi:
	Yatoh, Kohsuke	ISSTA '15: "Feedback-Controlled Random ..." Feedback-Controlled Random Test Generation Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, and Shinichi Honiden (University of Tokyo, Japan; National Institute of Informatics, Japan) @InProceedings{ISSTA15p352, author = {Kohsuke Yatoh and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, title = {Feedback-Controlled Random Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {}, year = {2015}, } aec-badge-issta Article: issta15main-mainid135-p (type: Full Paper (10 pages + references)) doi:
	Ying, Shi	ISSTA '15: "Enhancing Reuse of Constraint ..." Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution Xiangyang Jia, Carlo Ghezzi, and Shi Ying (Wuhan University, China; Politecnico di Milano, Italy) @InProceedings{ISSTA15p196, author = {Xiangyang Jia and Carlo Ghezzi and Shi Ying}, title = {Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2015}, } Article: issta15main-mainid13-p (type: Full Paper (10 pages + references)) doi:
	Yoo, Shin	ISSTA '15: "Empirical Evaluation of Pareto ..." Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation Michael G. Epitropakis, Shin Yoo, Mark Harman, and Edmund K. Burke (University of Stirling, UK; University College London, UK) @InProceedings{ISSTA15p261, author = {Michael G. Epitropakis and Shin Yoo and Mark Harman and Edmund K. Burke}, title = {Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: issta15main-mainid72-p (type: Full Paper (10 pages + references)) doi:
	Yue, Tao	ISSTA '15: "RTCM: A Natural Language Based, ..." RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework Tao Yue, Shaukat Ali, and Man Zhang (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{ISSTA15p443, author = {Tao Yue and Shaukat Ali and Man Zhang}, title = {RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {443-442}, doi = {}, year = {2015}, } Article: issta15main-mainid125-p (type: Full Paper (10 pages + references)) doi:
	Zhang, Lingming	ISSTA '15: "Experience Report: How is ..." Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE Xiaoyin Wang, Lingming Zhang, and Philip Tanofsky (University of Texas at San Antonio, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA15p222, author = {Xiaoyin Wang and Lingming Zhang and Philip Tanofsky}, title = {Experience Report: How is Dynamic Symbolic Execution Different from Manual Testing? A Study on KLEE}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2015}, } Article: issta15main-mainid112-p (type: Full Paper (10 pages + references)) doi:
	Zhang, Man	ISSTA '15: "RTCM: A Natural Language Based, ..." RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework Tao Yue, Shaukat Ali, and Man Zhang (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{ISSTA15p443, author = {Tao Yue and Shaukat Ali and Man Zhang}, title = {RTCM: A Natural Language Based, Automated, and Practical Test Case Generation Framework}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {443-442}, doi = {}, year = {2015}, } Article: issta15main-mainid125-p (type: Full Paper (10 pages + references)) doi:
	Zhang, Sai	ISSTA '15: "Proactive Detection of Inadequate ..." Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors Sai Zhang and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA15p14, author = {Sai Zhang and Michael D. Ernst}, title = {Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2015}, } Article: issta15main-mainid111-p (type: Full Paper (10 pages + references)) doi:

143 authors

proc time: 0.13