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