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

	Abi-Antoun, Marwan	ASE '13: "Finding Architectural Flaws ..." Finding Architectural Flaws using Constraints Radu Vanciu and Marwan Abi-Antoun (Wayne State University, USA) @InProceedings{ASE13p349, author = {Radu Vanciu and Marwan Abi-Antoun}, title = {Finding Architectural Flaws using Constraints}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {349-348}, doi = {}, year = {2013}, } Article: ase13main-p282-p doi:
	Abreu, Rui	ASE '13: "Entropy-Based Test Generation ..." Entropy-Based Test Generation for Improved Fault Localization José Campos, Rui Abreu, Gordon Fraser, and Marcelo d'Amorim (University of Porto, Portugal; University of Sheffield, UK; Federal University of Pernambuco, Brazil) @InProceedings{ASE13p272, author = {José Campos and Rui Abreu and Gordon Fraser and Marcelo d'Amorim}, title = {Entropy-Based Test Generation for Improved Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {272-271}, doi = {}, year = {2013}, } Article: ase13main-p198-p doi:
	Acher, Mathieu	ASE '13: "From Comparison Matrix to ..." From Comparison Matrix to Variability Model: The Wikipedia Case Study Nicolas Sannier, Mathieu Acher, and Benoit Baudry (University of Rennes 1, France; Inria, France; Irisa, France) @InProceedings{ASE13p598, author = {Nicolas Sannier and Mathieu Acher and Benoit Baudry}, title = {From Comparison Matrix to Variability Model: The Wikipedia Case Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {598-597}, doi = {}, year = {2013}, } Article: ase13newideas-p077-p doi:
	Adedjouma, Morayo	ASE '13: "Minimizing CPU Time Shortage ..." Minimizing CPU Time Shortage Risks in Integrated Embedded Software Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement (University of Luxembourg, Luxembourg; Delphi, Luxembourg) @InProceedings{ASE13p547, author = {Shiva Nejati and Morayo Adedjouma and Lionel C. Briand and Jonathan Hellebaut and Julien Begey and Yves Clement}, title = {Minimizing CPU Time Shortage Risks in Integrated Embedded Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {547-546}, doi = {}, year = {2013}, } Article: ase13experience-p145-p doi:
	Aguirre, Nazareno	ASE '13: "Ranger: Parallel Analysis ..." Ranger: Parallel Analysis of Alloy Models by Range Partitioning Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias (Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina) @InProceedings{ASE13p162, author = {Nicolás Rosner and Junaid H. Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias}, title = {Ranger: Parallel Analysis of Alloy Models by Range Partitioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {162-161}, doi = {}, year = {2013}, } Article: ase13main-p336-p doi:
	Alshahwan, Nadia	ASE '13: "Model Based Test Validation ..." Model Based Test Validation and Oracles for Data Acquisition Systems Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier (University of Luxembourg, Luxembourg; SES, Luxembourg) @InProceedings{ASE13p558, author = {Daniel Di Nardo and Nadia Alshahwan and Lionel C. Briand and Elizabeta Fourneret and Tomislav Nakić-Alfirević and Vincent Masquelier}, title = {Model Based Test Validation and Oracles for Data Acquisition Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {558-557}, doi = {}, year = {2013}, } Article: ase13experience-p074-p doi:
	Ammar, Hany	ASE '13: "Scalable Product Line Configuration: ..." Scalable Product Line Configuration: A Straw to Break the Camel’s Back Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, and Hany Ammar (West Virginia University, USA) @InProceedings{ASE13p481, author = {Abdel Salam Sayyad and Joseph Ingram and Tim Menzies and Hany Ammar}, title = {Scalable Product Line Configuration: A Straw to Break the Camel’s Back}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2013}, } Article: ase13main-p350-p doi:
	Anish, Preethu Rose	ASE '13: "Detecting System Use Cases ..." Detecting System Use Cases and Validations from Documents Smita Ghaisas, Manish Motwani, and Preethu Rose Anish (Tata Consultancy Services, India) @InProceedings{ASE13p586, author = {Smita Ghaisas and Manish Motwani and Preethu Rose Anish}, title = {Detecting System Use Cases and Validations from Documents}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2013}, } Article: ase13newideas-p399-p doi:
	Apel, Sven	ASE '13: "The Potential of Polyhedral ..." The Potential of Polyhedral Optimization: An Empirical Study Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer (University of Passau, Germany) @InProceedings{ASE13p525, author = {Andreas Simbürger and Sven Apel and Armin Größlinger and Christian Lengauer}, title = {The Potential of Polyhedral Optimization: An Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {525-524}, doi = {}, year = {2013}, } Article: ase13experience-p025-p doi: ASE '13: "Variability-Aware Performance ..." Variability-Aware Performance Prediction: A Statistical Learning Approach Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski (University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark) @InProceedings{ASE13p316, author = {Jianmei Guo and Krzysztof Czarnecki and Sven Apel and Norbert Siegmund and Andrzej Wąsowski}, title = {Variability-Aware Performance Prediction: A Statistical Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {316-315}, doi = {}, year = {2013}, } Article: ase13main-p002-p doi:
	Arora, Nipun	ASE '13: "iProbe: A Lightweight User-Level ..." iProbe: A Lightweight User-Level Dynamic Instrumentation Tool Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang (NEC Labs, USA) @InProceedings{ASE13p760, author = {Nipun Arora and Hui Zhang and Junghwan Rhee and Kenji Yoshihira and Guofei Jiang}, title = {iProbe: A Lightweight User-Level Dynamic Instrumentation Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {760-759}, doi = {}, year = {2013}, } Article: ase13tools-id24-p doi:
	Artho, Cyrille	ASE '13: "Software Model Checking for ..." Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto (AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE13p184, author = {Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto}, title = {Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {184-183}, doi = {}, year = {2013}, } Article: ase13main-p102-p doi:
	Avazpour, Iman	ASE '13: "Tool Support for Automatic ..." Tool Support for Automatic Model Transformation Specification using Concrete Visualisations Iman Avazpour, John Grundy, and Lars Grunske (Swinburne University of Technology, Australia; University of Stuttgart, Germany) @InProceedings{ASE13p736, author = {Iman Avazpour and John Grundy and Lars Grunske}, title = {Tool Support for Automatic Model Transformation Specification using Concrete Visualisations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {736-735}, doi = {}, year = {2013}, } Article: ase13tools-id5-p doi:
	Barnes, Jeffrey M.	ASE '13: "Automated Planning for Software ..." Automated Planning for Software Architecture Evolution Jeffrey M. Barnes, Ashutosh Pandey, and David Garlan (Carnegie Mellon University, USA) @InProceedings{ASE13p228, author = {Jeffrey M. Barnes and Ashutosh Pandey and David Garlan}, title = {Automated Planning for Software Architecture Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {228-227}, doi = {}, year = {2013}, } Article: ase13main-p094-p doi:
	Barringer, Howard	ASE '13: "A Pattern-Based Approach to ..." A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard (University of Manchester, UK) @InProceedings{ASE13p676, author = {Giles Reger and Howard Barringer and David Rydeheard}, title = {A Pattern-Based Approach to Parametric Specification Mining}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {676-675}, doi = {}, year = {2013}, } Article: ase13newideas-p231-p doi:
	Baudry, Benoit	ASE '13: "From Comparison Matrix to ..." From Comparison Matrix to Variability Model: The Wikipedia Case Study Nicolas Sannier, Mathieu Acher, and Benoit Baudry (University of Rennes 1, France; Inria, France; Irisa, France) @InProceedings{ASE13p598, author = {Nicolas Sannier and Mathieu Acher and Benoit Baudry}, title = {From Comparison Matrix to Variability Model: The Wikipedia Case Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {598-597}, doi = {}, year = {2013}, } Article: ase13newideas-p077-p doi:
	Bavota, Gabriele	ASE '13: "Detecting Bad Smells in Source ..." Detecting Bad Smells in Source Code using Change History Information Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk (University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA) @InProceedings{ASE13p283, author = {Fabio Palomba and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrea De Lucia and Denys Poshyvanyk}, title = {Detecting Bad Smells in Source Code using Change History Information}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p doi:
	Begey, Julien	ASE '13: "Minimizing CPU Time Shortage ..." Minimizing CPU Time Shortage Risks in Integrated Embedded Software Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement (University of Luxembourg, Luxembourg; Delphi, Luxembourg) @InProceedings{ASE13p547, author = {Shiva Nejati and Morayo Adedjouma and Lionel C. Briand and Jonathan Hellebaut and Julien Begey and Yves Clement}, title = {Minimizing CPU Time Shortage Risks in Integrated Embedded Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {547-546}, doi = {}, year = {2013}, } Article: ase13experience-p145-p doi:
	Bergmann, Gábor	ASE '13: "Towards Precise Metrics for ..." Towards Precise Metrics for Predicting Graph Query Performance Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, and István Ráth (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE13p437, author = {Benedek Izsó and Zoltán Szatmári and Gábor Bergmann and Ákos Horváth and István Ráth}, title = {Towards Precise Metrics for Predicting Graph Query Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2013}, } Article: ase13main-p229-p doi:
	Bishop, Judith	ASE '13: "Pex4Fun: A Web-Based Environment ..." Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p748, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {748-747}, doi = {}, year = {2013}, } Article: ase13tools-id15-p doi:
	Briand, Lionel C.	ASE '13: "Minimizing CPU Time Shortage ..." Minimizing CPU Time Shortage Risks in Integrated Embedded Software Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement (University of Luxembourg, Luxembourg; Delphi, Luxembourg) @InProceedings{ASE13p547, author = {Shiva Nejati and Morayo Adedjouma and Lionel C. Briand and Jonathan Hellebaut and Julien Begey and Yves Clement}, title = {Minimizing CPU Time Shortage Risks in Integrated Embedded Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {547-546}, doi = {}, year = {2013}, } Article: ase13experience-p145-p doi: ASE '13: "Model Based Test Validation ..." Model Based Test Validation and Oracles for Data Acquisition Systems Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier (University of Luxembourg, Luxembourg; SES, Luxembourg) @InProceedings{ASE13p558, author = {Daniel Di Nardo and Nadia Alshahwan and Lionel C. Briand and Elizabeta Fourneret and Tomislav Nakić-Alfirević and Vincent Masquelier}, title = {Model Based Test Validation and Oracles for Data Acquisition Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {558-557}, doi = {}, year = {2013}, } Article: ase13experience-p074-p doi: ASE '13: "A Scalable Approach for Malware ..." A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, and Bindu Madhavi Padmanabhuni (Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg) @InProceedings{ASE13p327, author = {Mahinthan Chandramohan and Hee Beng Kuan Tan and Lionel C. Briand and Lwin Khin Shar and Bindu Madhavi Padmanabhuni}, title = {A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2013}, } Article: ase13main-p121-p doi:
	Calinescu, Radu	ASE '13: "Developing Self-Verifying ..." Developing Self-Verifying Service-Based Systems Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq (University of York, UK) @InProceedings{ASE13p752, author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq}, title = {Developing Self-Verifying Service-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {752-751}, doi = {}, year = {2013}, } Article: ase13tools-id22-p doi:
	Campos, José	ASE '13: "Entropy-Based Test Generation ..." Entropy-Based Test Generation for Improved Fault Localization José Campos, Rui Abreu, Gordon Fraser, and Marcelo d'Amorim (University of Porto, Portugal; University of Sheffield, UK; Federal University of Pernambuco, Brazil) @InProceedings{ASE13p272, author = {José Campos and Rui Abreu and Gordon Fraser and Marcelo d'Amorim}, title = {Entropy-Based Test Generation for Improved Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {272-271}, doi = {}, year = {2013}, } Article: ase13main-p198-p doi:
	Cao, Chun	ASE '13: "Environment Rematching: Toward ..." Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lü (Nanjing University, China) @InProceedings{ASE13p610, author = {Chang Xu and Wenhua Yang and Xiaoxing Ma and Chun Cao and Jian Lü}, title = {Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {610-609}, doi = {}, year = {2013}, } Article: ase13newideas-p036-p doi:
	Chaim, Marcos Lordello	ASE '13: "Adding Context to Fault Localization ..." Adding Context to Fault Localization with Integration Coverage Higor Amario de Souza and Marcos Lordello Chaim (University of Sao Paulo, Brazil) @InProceedings{ASE13p646, author = {Higor Amario de Souza and Marcos Lordello Chaim}, title = {Adding Context to Fault Localization with Integration Coverage}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {646-645}, doi = {}, year = {2013}, } Article: ase13newideas-p150-p doi:
	Chandramohan, Mahinthan	ASE '13: "A Scalable Approach for Malware ..." A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, and Bindu Madhavi Padmanabhuni (Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg) @InProceedings{ASE13p327, author = {Mahinthan Chandramohan and Hee Beng Kuan Tan and Lionel C. Briand and Lwin Khin Shar and Bindu Madhavi Padmanabhuni}, title = {A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2013}, } Article: ase13main-p121-p doi:
	Chattopadhyay, Arijit	ASE '13: "Round-Up: Runtime Checking ..." Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures Lu Zhang, Arijit Chattopadhyay, and Chao Wang (Virginia Tech, USA) @InProceedings{ASE13p19, author = {Lu Zhang and Arijit Chattopadhyay and Chao Wang}, title = {Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: ase13main-p344-p doi:
	Chen, Nicholas	ASE '13: "JFlow: Practical Refactorings ..." JFlow: Practical Refactorings for Flow-Based Parallelism Nicholas Chen and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p217, author = {Nicholas Chen and Ralph E. Johnson}, title = {JFlow: Practical Refactorings for Flow-Based Parallelism}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2013}, } Article: ase13main-p211-p doi:
	Chhetri, Mohan Baruwal	ASE '13: "Smart Cloud Broker: Finding ..." Smart Cloud Broker: Finding Your Home in the Clouds Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, and Ryszard Kowalczyk (Swinburne University of Technology, Australia) @InProceedings{ASE13p716, author = {Mohan Baruwal Chhetri and Sergei Chichin and Quoc Bao Vo and Ryszard Kowalczyk}, title = {Smart Cloud Broker: Finding Your Home in the Clouds}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {716-715}, doi = {}, year = {2013}, } Article: ase13tools-id4-p doi:
	Chichin, Sergei	ASE '13: "Smart Cloud Broker: Finding ..." Smart Cloud Broker: Finding Your Home in the Clouds Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, and Ryszard Kowalczyk (Swinburne University of Technology, Australia) @InProceedings{ASE13p716, author = {Mohan Baruwal Chhetri and Sergei Chichin and Quoc Bao Vo and Ryszard Kowalczyk}, title = {Smart Cloud Broker: Finding Your Home in the Clouds}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {716-715}, doi = {}, year = {2013}, } Article: ase13tools-id4-p doi:
	Chioasca, Erol-Valeriu	ASE '13: "TRAM: A Tool for Transforming ..." TRAM: A Tool for Transforming Textual Requirements into Analysis Models Keletso J. Letsholo, Liping Zhao, and Erol-Valeriu Chioasca (University of Manchester, UK) @InProceedings{ASE13p756, author = {Keletso J. Letsholo and Liping Zhao and Erol-Valeriu Chioasca}, title = {TRAM: A Tool for Transforming Textual Requirements into Analysis Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {756-755}, doi = {}, year = {2013}, } Article: ase13tools-id23-p doi:
	Cho, Chia Yuan	ASE '13: "Blitz: Compositional Bounded ..." Blitz: Compositional Bounded Model Checking for Real-World Programs Chia Yuan Cho, Vijay D’Silva, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ASE13p151, author = {Chia Yuan Cho and Vijay D’Silva and Dawn Song}, title = {Blitz: Compositional Bounded Model Checking for Real-World Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2013}, } Article: ase13main-p317-p doi:
	Cimatti, Alessandro	ASE '13: "OCRA: A Tool for Checking ..." OCRA: A Tool for Checking the Refinement of Temporal Contracts Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta (Fondazione Bruno Kessler, Italy) @InProceedings{ASE13p720, author = {Alessandro Cimatti and Michele Dorigatti and Stefano Tonetta}, title = {OCRA: A Tool for Checking the Refinement of Temporal Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {720-719}, doi = {}, year = {2013}, } Article: ase13tools-id10-p doi:
	Cleland-Huang, Jane	ASE '13: "Learning Effective Query Transformations ..." Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval Timothy Dietrich, Jane Cleland-Huang, and Yonghee Shin (DePaul University, USA) @InProceedings{ASE13p604, author = {Timothy Dietrich and Jane Cleland-Huang and Yonghee Shin}, title = {Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2013}, } Article: ase13newideas-p180-p doi:
	Clement, Yves	ASE '13: "Minimizing CPU Time Shortage ..." Minimizing CPU Time Shortage Risks in Integrated Embedded Software Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement (University of Luxembourg, Luxembourg; Delphi, Luxembourg) @InProceedings{ASE13p547, author = {Shiva Nejati and Morayo Adedjouma and Lionel C. Briand and Jonathan Hellebaut and Julien Begey and Yves Clement}, title = {Minimizing CPU Time Shortage Risks in Integrated Embedded Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {547-546}, doi = {}, year = {2013}, } Article: ase13experience-p145-p doi:
	Cotroneo, Domenico	ASE '13: "SABRINE: State-Based Robustness ..." SABRINE: State-Based Robustness Testing of Operating Systems Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, and Roberto Natella (Università degli Studi di Napoli Federico II, Italy; Critiware, Italy) @InProceedings{ASE13p140, author = {Domenico Cotroneo and Domenico Di Leo and Francesco Fucci and Roberto Natella}, title = {SABRINE: State-Based Robustness Testing of Operating Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {140-139}, doi = {}, year = {2013}, } Article: ase13main-p146-p doi:
	Csallner, Christoph	ASE '13: "SEDGE: Symbolic Example Data ..." SEDGE: Symbolic Example Data Generation for Dataflow Programs Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA) @InProceedings{ASE13p250, author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner}, title = {SEDGE: Symbolic Example Data Generation for Dataflow Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {250-249}, doi = {}, year = {2013}, } Article: ase13main-p108-p doi:
	Cunha, Alcino	ASE '13: "Model Repair and Transformation ..." Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimarães, and Alcino Cunha (HASLab at INESC TEC, Portugal; Universidade do Minho, Portugal) @InProceedings{ASE13p712, author = {Nuno Macedo and Tiago Guimarães and Alcino Cunha}, title = {Model Repair and Transformation with Echo}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {712-711}, doi = {}, year = {2013}, } Article: ase13tools-id2-p doi:
	Czarnecki, Krzysztof	ASE '13: "Variability-Aware Performance ..." Variability-Aware Performance Prediction: A Statistical Learning Approach Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski (University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark) @InProceedings{ASE13p316, author = {Jianmei Guo and Krzysztof Czarnecki and Sven Apel and Norbert Siegmund and Andrzej Wąsowski}, title = {Variability-Aware Performance Prediction: A Statistical Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {316-315}, doi = {}, year = {2013}, } Article: ase13main-p002-p doi:
	D'Amorim, Marcelo	ASE '13: "Entropy-Based Test Generation ..." Entropy-Based Test Generation for Improved Fault Localization José Campos, Rui Abreu, Gordon Fraser, and Marcelo d'Amorim (University of Porto, Portugal; University of Sheffield, UK; Federal University of Pernambuco, Brazil) @InProceedings{ASE13p272, author = {José Campos and Rui Abreu and Gordon Fraser and Marcelo d'Amorim}, title = {Entropy-Based Test Generation for Improved Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {272-271}, doi = {}, year = {2013}, } Article: ase13main-p198-p doi:
	Davoodi, Mohammed	ASE '13: "Cloud Twin: Native Execution ..." Cloud Twin: Native Execution of Android Applications on the Windows Phone Ethan Holder, Eeshan Shah, Mohammed Davoodi, and Eli Tilevich (Virginia Tech, USA) @InProceedings{ASE13p616, author = {Ethan Holder and Eeshan Shah and Mohammed Davoodi and Eli Tilevich}, title = {Cloud Twin: Native Execution of Android Applications on the Windows Phone}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {616-615}, doi = {}, year = {2013}, } Article: ase13newideas-p405-p doi:
	De Halleux, Jonathan	ASE '13: "Pex4Fun: A Web-Based Environment ..." Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p748, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {748-747}, doi = {}, year = {2013}, } Article: ase13tools-id15-p doi:
	De Lucia, Andrea	ASE '13: "Detecting Bad Smells in Source ..." Detecting Bad Smells in Source Code using Change History Information Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk (University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA) @InProceedings{ASE13p283, author = {Fabio Palomba and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrea De Lucia and Denys Poshyvanyk}, title = {Detecting Bad Smells in Source Code using Change History Information}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p doi:
	Demasi, Ramiro	ASE '13: "Synthesizing Fault-Tolerant ..." Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications Ramiro Demasi (McMaster University, Canada) @InProceedings{ASE13p768, author = {Ramiro Demasi}, title = {Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {768-767}, doi = {}, year = {2013}, } Article: ase13doctoral-docid4-p doi:
	De Souza, Higor Amario	ASE '13: "Adding Context to Fault Localization ..." Adding Context to Fault Localization with Integration Coverage Higor Amario de Souza and Marcos Lordello Chaim (University of Sao Paulo, Brazil) @InProceedings{ASE13p646, author = {Higor Amario de Souza and Marcos Lordello Chaim}, title = {Adding Context to Fault Localization with Integration Coverage}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {646-645}, doi = {}, year = {2013}, } Article: ase13newideas-p150-p doi:
	Dhungana, Deepak	ASE '13: "Automated Verification of ..." Automated Verification of Interactive Rule-Based Configuration Systems Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski (Siemens, Austria; Max-Planck-Institute for Informatics, Germany; Logic4Business, Germany) @InProceedings{ASE13p569, author = {Deepak Dhungana and Ching Hoo Tang and Christoph Weidenbach and Patrick Wischnewski}, title = {Automated Verification of Interactive Rule-Based Configuration Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {569-568}, doi = {}, year = {2013}, } Article: ase13experience-p201-p doi:
	Diao, Yanlei	ASE '13: "SEDGE: Symbolic Example Data ..." SEDGE: Symbolic Example Data Generation for Dataflow Programs Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA) @InProceedings{ASE13p250, author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner}, title = {SEDGE: Symbolic Example Data Generation for Dataflow Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {250-249}, doi = {}, year = {2013}, } Article: ase13main-p108-p doi:
	Dietrich, Timothy	ASE '13: "Learning Effective Query Transformations ..." Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval Timothy Dietrich, Jane Cleland-Huang, and Yonghee Shin (DePaul University, USA) @InProceedings{ASE13p604, author = {Timothy Dietrich and Jane Cleland-Huang and Yonghee Shin}, title = {Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2013}, } Article: ase13newideas-p180-p doi:
	Di Leo, Domenico	ASE '13: "SABRINE: State-Based Robustness ..." SABRINE: State-Based Robustness Testing of Operating Systems Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, and Roberto Natella (Università degli Studi di Napoli Federico II, Italy; Critiware, Italy) @InProceedings{ASE13p140, author = {Domenico Cotroneo and Domenico Di Leo and Francesco Fucci and Roberto Natella}, title = {SABRINE: State-Based Robustness Testing of Operating Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {140-139}, doi = {}, year = {2013}, } Article: ase13main-p146-p doi:
	Di Nardo, Daniel	ASE '13: "Model Based Test Validation ..." Model Based Test Validation and Oracles for Data Acquisition Systems Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier (University of Luxembourg, Luxembourg; SES, Luxembourg) @InProceedings{ASE13p558, author = {Daniel Di Nardo and Nadia Alshahwan and Lionel C. Briand and Elizabeta Fourneret and Tomislav Nakić-Alfirević and Vincent Masquelier}, title = {Model Based Test Validation and Oracles for Data Acquisition Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {558-557}, doi = {}, year = {2013}, } Article: ase13experience-p074-p doi:
	Ding, Rui	ASE '13: "Software Analytics for Incident ..." Software Analytics for Incident Management of Online Services: An Experience Report Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie (Microsoft Research, China; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p492, author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie}, title = {Software Analytics for Incident Management of Online Services: An Experience Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {492-491}, doi = {}, year = {2013}, } Article: ase13experience-p022-p doi:
	Di Penta, Massimiliano	ASE '13: "Detecting Bad Smells in Source ..." Detecting Bad Smells in Source Code using Change History Information Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk (University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA) @InProceedings{ASE13p283, author = {Fabio Palomba and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrea De Lucia and Denys Poshyvanyk}, title = {Detecting Bad Smells in Source Code using Change History Information}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p doi:
	Do, Hyunsook	ASE '13: "Crushinator: A Framework towards ..." Crushinator: A Framework towards Game-Independent Testing Christopher Schaefer, Hyunsook Do, and Brian M. Slator (North Dakota State University, USA) @InProceedings{ASE13p744, author = {Christopher Schaefer and Hyunsook Do and Brian M. Slator}, title = {Crushinator: A Framework towards Game-Independent Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {744-743}, doi = {}, year = {2013}, } Article: ase13tools-id13-p doi:
	Dong, Jin Song	ASE '13: "Constraint-Based Automatic ..." Constraint-Based Automatic Symmetry Detection Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE13p30, author = {Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong}, title = {Constraint-Based Automatic Symmetry Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {30-29}, doi = {}, year = {2013}, } Article: ase13main-p105-p doi: ASE '13: "Automatically Partition Software ..." Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p338, author = {Yongzheng Wu and Jun Sun and Yang Liu and Jin Song Dong}, title = {Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {338-337}, doi = {}, year = {2013}, } Article: ase13main-p241-p doi:
	Dorigatti, Michele	ASE '13: "OCRA: A Tool for Checking ..." OCRA: A Tool for Checking the Refinement of Temporal Contracts Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta (Fondazione Bruno Kessler, Italy) @InProceedings{ASE13p720, author = {Alessandro Cimatti and Michele Dorigatti and Stefano Tonetta}, title = {OCRA: A Tool for Checking the Refinement of Temporal Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {720-719}, doi = {}, year = {2013}, } Article: ase13tools-id10-p doi:
	D’Silva, Vijay	ASE '13: "Blitz: Compositional Bounded ..." Blitz: Compositional Bounded Model Checking for Real-World Programs Chia Yuan Cho, Vijay D’Silva, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ASE13p151, author = {Chia Yuan Cho and Vijay D’Silva and Dawn Song}, title = {Blitz: Compositional Bounded Model Checking for Real-World Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2013}, } Article: ase13main-p317-p doi:
	Dustdar, Schahram	ASE '13: "Automated Testing of Cloud-Based ..." Automated Testing of Cloud-Based Elastic Systems with AUToCLES Alessio Gambi, Waldemar Hummer, and Schahram Dustdar (University of Lugano, Switzerland; Vienna University of Technology, Austria) @InProceedings{ASE13p732, author = {Alessio Gambi and Waldemar Hummer and Schahram Dustdar}, title = {Automated Testing of Cloud-Based Elastic Systems with AUToCLES}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {732-731}, doi = {}, year = {2013}, } Article: ase13tools-id18-p doi:
	Ewalt, Nicholas	ASE '13: "Using Automatically Generated ..." Using Automatically Generated Invariants for Regression Testing and Bug Localization Parth Sagdeo, Nicholas Ewalt, Debjit Pal, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p652, author = {Parth Sagdeo and Nicholas Ewalt and Debjit Pal and Shobha Vasudevan}, title = {Using Automatically Generated Invariants for Regression Testing and Bug Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2013}, } Article: ase13newideas-p371-p doi:
	Fahland, Dirk	ASE '13: "Mining Branching-Time Scenarios ..." Mining Branching-Time Scenarios Dirk Fahland, David Lo, and Shahar Maoz (Eindhoven University of Technology, Netherlands; Singapore Management University, Singapore; Tel Aviv University, Israel) @InProceedings{ASE13p459, author = {Dirk Fahland and David Lo and Shahar Maoz}, title = {Mining Branching-Time Scenarios}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {459-458}, doi = {}, year = {2013}, } Article: ase13main-p168-p doi:
	Falke, Stephan	ASE '13: "The Bounded Model Checker ..." The Bounded Model Checker LLBMC Stephan Falke, Florian Merz, and Carsten Sinz (KIT, Germany) @InProceedings{ASE13p724, author = {Stephan Falke and Florian Merz and Carsten Sinz}, title = {The Bounded Model Checker LLBMC}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {724-723}, doi = {}, year = {2013}, } Article: ase13tools-id19-p doi:
	Fard, Fatemeh Hendijani	ASE '13: "Detecting and Fixing Emergent ..." Detecting and Fixing Emergent Behaviors in Distributed Software Systems using a Message Content Independent Method Fatemeh Hendijani Fard (University of Calgary, Canada) @InProceedings{ASE13p764, author = {Fatemeh Hendijani Fard}, title = {Detecting and Fixing Emergent Behaviors in Distributed Software Systems using a Message Content Independent Method}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {764-763}, doi = {}, year = {2013}, } Article: ase13doctoral-docid2-p doi:
	Fischer, Bernd	ASE '13: "CSeq: A Concurrency Pre-processor ..." CSeq: A Concurrency Pre-processor for Sequential C Verification Tools Bernd Fischer, Omar Inverso, and Gennaro Parlato (Stellenbosch University, South Africa; University of Southampton, UK) @InProceedings{ASE13p728, author = {Bernd Fischer and Omar Inverso and Gennaro Parlato}, title = {CSeq: A Concurrency Pre-processor for Sequential C Verification Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {728-727}, doi = {}, year = {2013}, } Article: ase13tools-id12-p doi:
	Forrest, Stephanie	ASE '13: "Leveraging Program Equivalence ..." Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results Westley Weimer, Zachary P. Fry, and Stephanie Forrest (University of Virginia, USA; University of New Mexico, USA) @InProceedings{ASE13p371, author = {Westley Weimer and Zachary P. Fry and Stephanie Forrest}, title = {Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2013}, } Article: ase13main-p090-p doi:
	Fourneret, Elizabeta	ASE '13: "Model Based Test Validation ..." Model Based Test Validation and Oracles for Data Acquisition Systems Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier (University of Luxembourg, Luxembourg; SES, Luxembourg) @InProceedings{ASE13p558, author = {Daniel Di Nardo and Nadia Alshahwan and Lionel C. Briand and Elizabeta Fourneret and Tomislav Nakić-Alfirević and Vincent Masquelier}, title = {Model Based Test Validation and Oracles for Data Acquisition Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {558-557}, doi = {}, year = {2013}, } Article: ase13experience-p074-p doi:
	Frank, Jeremy	ASE '13: "The Challenges of Verification ..." The Challenges of Verification and Validation of Automated Planning Systems (Keynote) Jeremy Frank (NASA Ames Research Center, USA) @InProceedings{ASE13p7, author = {Jeremy Frank}, title = {The Challenges of Verification and Validation of Automated Planning Systems (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, } Article: ase13invited-k2-p doi:
	Fraser, Gordon	ASE '13: "Entropy-Based Test Generation ..." Entropy-Based Test Generation for Improved Fault Localization José Campos, Rui Abreu, Gordon Fraser, and Marcelo d'Amorim (University of Porto, Portugal; University of Sheffield, UK; Federal University of Pernambuco, Brazil) @InProceedings{ASE13p272, author = {José Campos and Rui Abreu and Gordon Fraser and Marcelo d'Amorim}, title = {Entropy-Based Test Generation for Improved Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {272-271}, doi = {}, year = {2013}, } Article: ase13main-p198-p doi:
	Frias, Marcelo F.	ASE '13: "Ranger: Parallel Analysis ..." Ranger: Parallel Analysis of Alloy Models by Range Partitioning Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias (Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina) @InProceedings{ASE13p162, author = {Nicolás Rosner and Junaid H. Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias}, title = {Ranger: Parallel Analysis of Alloy Models by Range Partitioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {162-161}, doi = {}, year = {2013}, } Article: ase13main-p336-p doi:
	Fry, Zachary P.	ASE '13: "Leveraging Program Equivalence ..." Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results Westley Weimer, Zachary P. Fry, and Stephanie Forrest (University of Virginia, USA; University of New Mexico, USA) @InProceedings{ASE13p371, author = {Westley Weimer and Zachary P. Fry and Stephanie Forrest}, title = {Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2013}, } Article: ase13main-p090-p doi:
	Fu, Qiang	ASE '13: "Software Analytics for Incident ..." Software Analytics for Incident Management of Online Services: An Experience Report Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie (Microsoft Research, China; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p492, author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie}, title = {Software Analytics for Incident Management of Online Services: An Experience Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {492-491}, doi = {}, year = {2013}, } Article: ase13experience-p022-p doi:
	Fucci, Francesco	ASE '13: "SABRINE: State-Based Robustness ..." SABRINE: State-Based Robustness Testing of Operating Systems Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, and Roberto Natella (Università degli Studi di Napoli Federico II, Italy; Critiware, Italy) @InProceedings{ASE13p140, author = {Domenico Cotroneo and Domenico Di Leo and Francesco Fucci and Roberto Natella}, title = {SABRINE: State-Based Robustness Testing of Operating Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {140-139}, doi = {}, year = {2013}, } Article: ase13main-p146-p doi:
	Gambi, Alessio	ASE '13: "Automated Testing of Cloud-Based ..." Automated Testing of Cloud-Based Elastic Systems with AUToCLES Alessio Gambi, Waldemar Hummer, and Schahram Dustdar (University of Lugano, Switzerland; Vienna University of Technology, Austria) @InProceedings{ASE13p732, author = {Alessio Gambi and Waldemar Hummer and Schahram Dustdar}, title = {Automated Testing of Cloud-Based Elastic Systems with AUToCLES}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {732-731}, doi = {}, year = {2013}, } Article: ase13tools-id18-p doi:
	Ganai, Malay K.	ASE '13: "Efficient Data Race Prediction ..." Efficient Data Race Prediction with Incremental Reasoning on Time-Stamped Lock History Malay K. Ganai (NEC Labs, USA) @InProceedings{ASE13p52, author = {Malay K. Ganai}, title = {Efficient Data Race Prediction with Incremental Reasoning on Time-Stamped Lock History}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {52-51}, doi = {}, year = {2013}, } Article: ase13main-p093-p doi:
	Garcia, Joshua	ASE '13: "A Comparative Analysis of ..." A Comparative Analysis of Software Architecture Recovery Techniques Joshua Garcia, Igor Ivkovic, and Nenad Medvidovic (University of Southern California, USA; Wilfrid Laurier University, Canada) @InProceedings{ASE13p503, author = {Joshua Garcia and Igor Ivkovic and Nenad Medvidovic}, title = {A Comparative Analysis of Software Architecture Recovery Techniques}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {503-502}, doi = {}, year = {2013}, } Article: ase13experience-p111-p doi:
	García-Galán, Jesús	ASE '13: "Multi-user Variability Configuration: ..." Multi-user Variability Configuration: A Game Theoretic Approach Jesús García-Galán, Pablo Trinidad, and Antonio Ruiz-Cortés (University of Seville, Spain) @InProceedings{ASE13p592, author = {Jesús García-Galán and Pablo Trinidad and Antonio Ruiz-Cortés}, title = {Multi-user Variability Configuration: A Game Theoretic Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2013}, } Article: ase13newideas-p262-p doi:
	Garlan, David	ASE '13: "Automated Planning for Software ..." Automated Planning for Software Architecture Evolution Jeffrey M. Barnes, Ashutosh Pandey, and David Garlan (Carnegie Mellon University, USA) @InProceedings{ASE13p228, author = {Jeffrey M. Barnes and Ashutosh Pandey and David Garlan}, title = {Automated Planning for Software Architecture Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {228-227}, doi = {}, year = {2013}, } Article: ase13main-p094-p doi:
	Gethers, Malcom	ASE '13: "ExPort: Detecting and Visualizing ..." ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers (College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA) @InProceedings{ASE13p664, author = {Evan Moritz and Mario Linares-Vásquez and Denys Poshyvanyk and Mark Grechanik and Collin McMillan and Malcom Gethers}, title = {ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2013}, } Article: ase13newideas-p287-p doi:
	Ghaisas, Smita	ASE '13: "Detecting System Use Cases ..." Detecting System Use Cases and Validations from Documents Smita Ghaisas, Manish Motwani, and Preethu Rose Anish (Tata Consultancy Services, India) @InProceedings{ASE13p586, author = {Smita Ghaisas and Manish Motwani and Preethu Rose Anish}, title = {Detecting System Use Cases and Validations from Documents}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2013}, } Article: ase13newideas-p399-p doi:
	Gligoric, Milos	ASE '13: "Operator-Based and Random ..." Operator-Based and Random Mutant Selection: Better Together Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p107, author = {Lingming Zhang and Milos Gligoric and Darko Marinov and Sarfraz Khurshid}, title = {Operator-Based and Random Mutant Selection: Better Together}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2013}, } Article: ase13main-p369-p doi:
	Glinz, Martin	ASE '13: "Semi-automatic Generation ..." Semi-automatic Generation of Metamodels from Model Sketches Dustin Wüest, Norbert Seyff, and Martin Glinz (University of Zurich, Switzerland) @InProceedings{ASE13p682, author = {Dustin Wüest and Norbert Seyff and Martin Glinz}, title = {Semi-automatic Generation of Metamodels from Model Sketches}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {682-681}, doi = {}, year = {2013}, } Article: ase13newideas-p320-p doi:
	Gravino, Carmine	ASE '13: "Class Level Fault Prediction ..." Class Level Fault Prediction using Software Clustering Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, and Tim Menzies (University of Basilicata, Italy; University of Salerno, Italy; Wayne State University, USA; West Virginia University, USA) @InProceedings{ASE13p658, author = {Giuseppe Scanniello and Carmine Gravino and Andrian Marcus and Tim Menzies}, title = {Class Level Fault Prediction using Software Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {658-657}, doi = {}, year = {2013}, } Article: ase13newideas-p147-p doi:
	Grechanik, Mark	ASE '13: "ExPort: Detecting and Visualizing ..." ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers (College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA) @InProceedings{ASE13p664, author = {Evan Moritz and Mario Linares-Vásquez and Denys Poshyvanyk and Mark Grechanik and Collin McMillan and Malcom Gethers}, title = {ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2013}, } Article: ase13newideas-p287-p doi:
	Größlinger, Armin	ASE '13: "The Potential of Polyhedral ..." The Potential of Polyhedral Optimization: An Empirical Study Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer (University of Passau, Germany) @InProceedings{ASE13p525, author = {Andreas Simbürger and Sven Apel and Armin Größlinger and Christian Lengauer}, title = {The Potential of Polyhedral Optimization: An Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {525-524}, doi = {}, year = {2013}, } Article: ase13experience-p025-p doi:
	Grundy, John	ASE '13: "Tool Support for Automatic ..." Tool Support for Automatic Model Transformation Specification using Concrete Visualisations Iman Avazpour, John Grundy, and Lars Grunske (Swinburne University of Technology, Australia; University of Stuttgart, Germany) @InProceedings{ASE13p736, author = {Iman Avazpour and John Grundy and Lars Grunske}, title = {Tool Support for Automatic Model Transformation Specification using Concrete Visualisations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {736-735}, doi = {}, year = {2013}, } Article: ase13tools-id5-p doi:
	Grunske, Lars	ASE '13: "Tool Support for Automatic ..." Tool Support for Automatic Model Transformation Specification using Concrete Visualisations Iman Avazpour, John Grundy, and Lars Grunske (Swinburne University of Technology, Australia; University of Stuttgart, Germany) @InProceedings{ASE13p736, author = {Iman Avazpour and John Grundy and Lars Grunske}, title = {Tool Support for Automatic Model Transformation Specification using Concrete Visualisations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {736-735}, doi = {}, year = {2013}, } Article: ase13tools-id5-p doi:
	Guimarães, Tiago	ASE '13: "Model Repair and Transformation ..." Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimarães, and Alcino Cunha (HASLab at INESC TEC, Portugal; Universidade do Minho, Portugal) @InProceedings{ASE13p712, author = {Nuno Macedo and Tiago Guimarães and Alcino Cunha}, title = {Model Repair and Transformation with Echo}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {712-711}, doi = {}, year = {2013}, } Article: ase13tools-id2-p doi:
	Guo, Chaorong	ASE '13: "Characterizing and Detecting ..." Characterizing and Detecting Resource Leaks in Android Applications Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, and Yanli Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE13p404, author = {Chaorong Guo and Jian Zhang and Jun Yan and Zhiqiang Zhang and Yanli Zhang}, title = {Characterizing and Detecting Resource Leaks in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {404-403}, doi = {}, year = {2013}, } Article: ase13main-p360-p doi:
	Guo, Jianmei	ASE '13: "Variability-Aware Performance ..." Variability-Aware Performance Prediction: A Statistical Learning Approach Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski (University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark) @InProceedings{ASE13p316, author = {Jianmei Guo and Krzysztof Czarnecki and Sven Apel and Norbert Siegmund and Andrzej Wąsowski}, title = {Variability-Aware Performance Prediction: A Statistical Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {316-315}, doi = {}, year = {2013}, } Article: ase13main-p002-p doi:
	Hagiya, Masami	ASE '13: "Software Model Checking for ..." Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto (AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE13p184, author = {Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto}, title = {Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {184-183}, doi = {}, year = {2013}, } Article: ase13main-p102-p doi:
	Halfond, William G. J.	ASE '13: "Randomizing Regression Tests ..." Randomizing Regression Tests using Game Theory Nupul Kukreja, William G. J. Halfond, and Milind Tambe (University of Southern California, USA) @InProceedings{ASE13p634, author = {Nupul Kukreja and William G. J. Halfond and Milind Tambe}, title = {Randomizing Regression Tests using Game Theory}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {634-633}, doi = {}, year = {2013}, } Article: ase13newideas-p357-p doi:
	Harrison, Rachel	ASE '13: "Assessing the Maturity of ..." Assessing the Maturity of Requirements through Argumentation: A Good Enough Approach Varsha Veerappa and Rachel Harrison (Oxford Brookes University, UK) @InProceedings{ASE13p688, author = {Varsha Veerappa and Rachel Harrison}, title = {Assessing the Maturity of Requirements through Argumentation: A Good Enough Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {688-687}, doi = {}, year = {2013}, } Article: ase13newideas-p200-p doi:
	Hellebaut, Jonathan	ASE '13: "Minimizing CPU Time Shortage ..." Minimizing CPU Time Shortage Risks in Integrated Embedded Software Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement (University of Luxembourg, Luxembourg; Delphi, Luxembourg) @InProceedings{ASE13p547, author = {Shiva Nejati and Morayo Adedjouma and Lionel C. Briand and Jonathan Hellebaut and Julien Begey and Yves Clement}, title = {Minimizing CPU Time Shortage Risks in Integrated Embedded Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {547-546}, doi = {}, year = {2013}, } Article: ase13experience-p145-p doi:
	Hellerstein, Joseph M.	ASE '13: "BOOM: Experiences in Language ..." BOOM: Experiences in Language and Tool Design for Distributed Systems (Keynote) Joseph M. Hellerstein (University of California at Berkeley, USA) @InProceedings{ASE13p1, author = {Joseph M. Hellerstein}, title = {BOOM: Experiences in Language and Tool Design for Distributed Systems (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: ase13invited-k1-p doi:
	Hirzel, Martin	ASE '13: "Testing Properties of Dataflow ..." Testing Properties of Dataflow Program Operators Zhihong Xu, Martin Hirzel, Gregg Rothermel, and Kun-Lung Wu (University of Nebraska-Lincoln, USA; IBM Research, USA) @InProceedings{ASE13p118, author = {Zhihong Xu and Martin Hirzel and Gregg Rothermel and Kun-Lung Wu}, title = {Testing Properties of Dataflow Program Operators}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {118-117}, doi = {}, year = {2013}, } Article: ase13main-p028-p doi:
	Holavanalli, Shashank	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi:
	Holder, Ethan	ASE '13: "Cloud Twin: Native Execution ..." Cloud Twin: Native Execution of Android Applications on the Windows Phone Ethan Holder, Eeshan Shah, Mohammed Davoodi, and Eli Tilevich (Virginia Tech, USA) @InProceedings{ASE13p616, author = {Ethan Holder and Eeshan Shah and Mohammed Davoodi and Eli Tilevich}, title = {Cloud Twin: Native Execution of Android Applications on the Windows Phone}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {616-615}, doi = {}, year = {2013}, } Article: ase13newideas-p405-p doi:
	Honiden, Shinichi	ASE '13: "Automated Verification of ..." Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, and Shinichi Honiden (University of Tokyo, Japan; Waseda University, Japan; National Institute of Informatics, Japan) @InProceedings{ASE13p173, author = {Yuta Maezawa and Hironori Washizaki and Yoshinori Tanabe and Shinichi Honiden}, title = {Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {173-172}, doi = {}, year = {2013}, } Article: ase13main-p167-p doi:
	Horváth, Ákos	ASE '13: "Towards Precise Metrics for ..." Towards Precise Metrics for Predicting Graph Query Performance Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, and István Ráth (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE13p437, author = {Benedek Izsó and Zoltán Szatmári and Gábor Bergmann and Ákos Horváth and István Ráth}, title = {Towards Precise Metrics for Predicting Graph Query Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2013}, } Article: ase13main-p229-p doi:
	Huang, Yu	ASE '13: "Proving MCAPI Executions Are ..." Proving MCAPI Executions Are Correct using SMT Yu Huang, Eric Mercer, and Jay McCarthy (Brigham Young University, USA) @InProceedings{ASE13p41, author = {Yu Huang and Eric Mercer and Jay McCarthy}, title = {Proving MCAPI Executions Are Correct using SMT}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2013}, } Article: ase13main-p246-p doi:
	Huchard, Marianne	ASE '13: "Recovering Model Transformation ..." Recovering Model Transformation Traces using Multi-Objective Optimization Hajer Saada, Marianne Huchard, Clémentine Nebut, and Houari Sahraoui (Université Montpellier 2, France; CNRS, France; Université de Montréal, Canada) @InProceedings{ASE13p706, author = {Hajer Saada and Marianne Huchard and Clémentine Nebut and Houari Sahraoui}, title = {Recovering Model Transformation Traces using Multi-Objective Optimization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2013}, } Article: ase13newideas-p218-p doi:
	Hummer, Waldemar	ASE '13: "Automated Testing of Cloud-Based ..." Automated Testing of Cloud-Based Elastic Systems with AUToCLES Alessio Gambi, Waldemar Hummer, and Schahram Dustdar (University of Lugano, Switzerland; Vienna University of Technology, Austria) @InProceedings{ASE13p732, author = {Alessio Gambi and Waldemar Hummer and Schahram Dustdar}, title = {Automated Testing of Cloud-Based Elastic Systems with AUToCLES}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {732-731}, doi = {}, year = {2013}, } Article: ase13tools-id18-p doi:
	Ingram, Joseph	ASE '13: "Scalable Product Line Configuration: ..." Scalable Product Line Configuration: A Straw to Break the Camel’s Back Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, and Hany Ammar (West Virginia University, USA) @InProceedings{ASE13p481, author = {Abdel Salam Sayyad and Joseph Ingram and Tim Menzies and Hany Ammar}, title = {Scalable Product Line Configuration: A Straw to Break the Camel’s Back}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2013}, } Article: ase13main-p350-p doi:
	Inverso, Omar	ASE '13: "CSeq: A Concurrency Pre-processor ..." CSeq: A Concurrency Pre-processor for Sequential C Verification Tools Bernd Fischer, Omar Inverso, and Gennaro Parlato (Stellenbosch University, South Africa; University of Southampton, UK) @InProceedings{ASE13p728, author = {Bernd Fischer and Omar Inverso and Gennaro Parlato}, title = {CSeq: A Concurrency Pre-processor for Sequential C Verification Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {728-727}, doi = {}, year = {2013}, } Article: ase13tools-id12-p doi:
	Ivkovic, Igor	ASE '13: "A Comparative Analysis of ..." A Comparative Analysis of Software Architecture Recovery Techniques Joshua Garcia, Igor Ivkovic, and Nenad Medvidovic (University of Southern California, USA; Wilfrid Laurier University, Canada) @InProceedings{ASE13p503, author = {Joshua Garcia and Igor Ivkovic and Nenad Medvidovic}, title = {A Comparative Analysis of Software Architecture Recovery Techniques}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {503-502}, doi = {}, year = {2013}, } Article: ase13experience-p111-p doi:
	Izsó, Benedek	ASE '13: "Towards Precise Metrics for ..." Towards Precise Metrics for Predicting Graph Query Performance Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, and István Ráth (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE13p437, author = {Benedek Izsó and Zoltán Szatmári and Gábor Bergmann and Ákos Horváth and István Ráth}, title = {Towards Precise Metrics for Predicting Graph Query Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2013}, } Article: ase13main-p229-p doi:
	Jang, Yoonkyu	ASE '13: "Automated Unit Testing of ..." Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{ASE13p536, author = {Yunho Kim and Youil Kim and Taeksu Kim and Gunwoo Lee and Yoonkyu Jang and Moonzoo Kim}, title = {Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {536-535}, doi = {}, year = {2013}, } Article: ase13experience-p033-p doi:
	Jiang, Guofei	ASE '13: "iProbe: A Lightweight User-Level ..." iProbe: A Lightweight User-Level Dynamic Instrumentation Tool Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang (NEC Labs, USA) @InProceedings{ASE13p760, author = {Nipun Arora and Hui Zhang and Junghwan Rhee and Kenji Yoshihira and Guofei Jiang}, title = {iProbe: A Lightweight User-Level Dynamic Instrumentation Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {760-759}, doi = {}, year = {2013}, } Article: ase13tools-id24-p doi:
	Jiang, Shihai	ASE '13: "Towards Contextual and On-Demand ..." Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE13p514, author = {Gang Zhang and Xin Peng and Zhenchang Xing and Shihai Jiang and Hai Wang and Wenyun Zhao}, title = {Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {514-513}, doi = {}, year = {2013}, } Article: ase13experience-p097-p doi:
	Jiang, Tian	ASE '13: "Personalized Defect Prediction ..." Personalized Defect Prediction Tian Jiang, Lin Tan, and Sunghun Kim (University of Waterloo, Canada; Hong Kong University of Science and Technology, China) @InProceedings{ASE13p294, author = {Tian Jiang and Lin Tan and Sunghun Kim}, title = {Personalized Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {294-293}, doi = {}, year = {2013}, } Article: ase13main-p054-p doi:
	Jin, Wei	ASE '13: "SBFR: A Search Based Approach ..." SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, and Paolo Tonella (Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA) @InProceedings{ASE13p622, author = {Fitsum Meshesha Kifetew and Wei Jin and Roberto Tiella and Alessandro Orso and Paolo Tonella}, title = {SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {622-621}, doi = {}, year = {2013}, } Article: ase13newideas-p126-p doi:
	Johnson, Kenneth	ASE '13: "Developing Self-Verifying ..." Developing Self-Verifying Service-Based Systems Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq (University of York, UK) @InProceedings{ASE13p752, author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq}, title = {Developing Self-Verifying Service-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {752-751}, doi = {}, year = {2013}, } Article: ase13tools-id22-p doi:
	Johnson, Ralph E.	ASE '13: "Bita: Coverage-Guided, Automatic ..." Bita: Coverage-Guided, Automatic Testing of Actor Programs Samira Tasharofi, Michael Pradel, Yu Lin, and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland) @InProceedings{ASE13p129, author = {Samira Tasharofi and Michael Pradel and Yu Lin and Ralph E. Johnson}, title = {Bita: Coverage-Guided, Automatic Testing of Actor Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {129-128}, doi = {}, year = {2013}, } Article: ase13main-p289-p doi: ASE '13: "JFlow: Practical Refactorings ..." JFlow: Practical Refactorings for Flow-Based Parallelism Nicholas Chen and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p217, author = {Nicholas Chen and Ralph E. Johnson}, title = {JFlow: Practical Refactorings for Flow-Based Parallelism}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2013}, } Article: ase13main-p211-p doi:
	Jones, James A.	ASE '13: "Improving Efficiency of Dynamic ..." Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries Vijay Krishna Palepu, Guoqing Xu, and James A. Jones (University of California at Irvine, USA) @InProceedings{ASE13p74, author = {Vijay Krishna Palepu and Guoqing Xu and James A. Jones}, title = {Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {74-73}, doi = {}, year = {2013}, } Article: ase13main-p295-p doi:
	Kaulgud, Vikrant	ASE '13: "Natural Language Requirements ..." Natural Language Requirements Quality Analysis Based on Business Domain Models Annervaz K.M., Vikrant Kaulgud, Shubhashis Sengupta, and Milind Savagaonkar (Accenture Technology Labs, India) @InProceedings{ASE13p694, author = {Annervaz K.M. and Vikrant Kaulgud and Shubhashis Sengupta and Milind Savagaonkar}, title = {Natural Language Requirements Quality Analysis Based on Business Domain Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {694-693}, doi = {}, year = {2013}, } Article: ase13newideas-p035-p doi:
	Kehrer, Timo	ASE '13: "Consistency-Preserving Edit ..." Consistency-Preserving Edit Scripts in Model Versioning Timo Kehrer, Udo Kelter, and Gabriele Taentzer (University of Siegen, Germany; Philipps-Universität Marburg, Germany) @InProceedings{ASE13p206, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {Consistency-Preserving Edit Scripts in Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {206-205}, doi = {}, year = {2013}, } Article: ase13main-p283-p doi:
	Kelter, Udo	ASE '13: "Consistency-Preserving Edit ..." Consistency-Preserving Edit Scripts in Model Versioning Timo Kehrer, Udo Kelter, and Gabriele Taentzer (University of Siegen, Germany; Philipps-Universität Marburg, Germany) @InProceedings{ASE13p206, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {Consistency-Preserving Edit Scripts in Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {206-205}, doi = {}, year = {2013}, } Article: ase13main-p283-p doi:
	Khurshid, Sarfraz	ASE '13: "Operator-Based and Random ..." Operator-Based and Random Mutant Selection: Better Together Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p107, author = {Lingming Zhang and Milos Gligoric and Darko Marinov and Sarfraz Khurshid}, title = {Operator-Based and Random Mutant Selection: Better Together}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2013}, } Article: ase13main-p369-p doi: ASE '13: "Ranger: Parallel Analysis ..." Ranger: Parallel Analysis of Alloy Models by Range Partitioning Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias (Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina) @InProceedings{ASE13p162, author = {Nicolás Rosner and Junaid H. Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias}, title = {Ranger: Parallel Analysis of Alloy Models by Range Partitioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {162-161}, doi = {}, year = {2013}, } Article: ase13main-p336-p doi: ASE '13: "Improving Bug Localization ..." Improving Bug Localization using Structured Information Retrieval Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE13p360, author = {Ripon K. Saha and Matthew Lease and Sarfraz Khurshid and Dewayne E. Perry}, title = {Improving Bug Localization using Structured Information Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {360-359}, doi = {}, year = {2013}, } Article: ase13main-p349-p doi:
	Kifetew, Fitsum Meshesha	ASE '13: "SBFR: A Search Based Approach ..." SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, and Paolo Tonella (Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA) @InProceedings{ASE13p622, author = {Fitsum Meshesha Kifetew and Wei Jin and Roberto Tiella and Alessandro Orso and Paolo Tonella}, title = {SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {622-621}, doi = {}, year = {2013}, } Article: ase13newideas-p126-p doi:
	Kim, Miryung	ASE '13: "Detecting and Characterizing ..." Detecting and Characterizing Semantic Inconsistencies in Ported Code Baishakhi Ray, Miryung Kim, Suzette Person, and Neha Rungta (University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA) @InProceedings{ASE13p382, author = {Baishakhi Ray and Miryung Kim and Suzette Person and Neha Rungta}, title = {Detecting and Characterizing Semantic Inconsistencies in Ported Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {382-381}, doi = {}, year = {2013}, } Article: ase13main-p237-p doi:
	Kim, Moonzoo	ASE '13: "Automated Unit Testing of ..." Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{ASE13p536, author = {Yunho Kim and Youil Kim and Taeksu Kim and Gunwoo Lee and Yoonkyu Jang and Moonzoo Kim}, title = {Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {536-535}, doi = {}, year = {2013}, } Article: ase13experience-p033-p doi:
	Kim, Sunghun	ASE '13: "Personalized Defect Prediction ..." Personalized Defect Prediction Tian Jiang, Lin Tan, and Sunghun Kim (University of Waterloo, Canada; Hong Kong University of Science and Technology, China) @InProceedings{ASE13p294, author = {Tian Jiang and Lin Tan and Sunghun Kim}, title = {Personalized Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {294-293}, doi = {}, year = {2013}, } Article: ase13main-p054-p doi:
	Kim, Taeksu	ASE '13: "Automated Unit Testing of ..." Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{ASE13p536, author = {Yunho Kim and Youil Kim and Taeksu Kim and Gunwoo Lee and Yoonkyu Jang and Moonzoo Kim}, title = {Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {536-535}, doi = {}, year = {2013}, } Article: ase13experience-p033-p doi:
	Kim, Youil	ASE '13: "Automated Unit Testing of ..." Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{ASE13p536, author = {Yunho Kim and Youil Kim and Taeksu Kim and Gunwoo Lee and Yoonkyu Jang and Moonzoo Kim}, title = {Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {536-535}, doi = {}, year = {2013}, } Article: ase13experience-p033-p doi:
	Kim, Yunho	ASE '13: "Automated Unit Testing of ..." Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{ASE13p536, author = {Yunho Kim and Youil Kim and Taeksu Kim and Gunwoo Lee and Yoonkyu Jang and Moonzoo Kim}, title = {Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {536-535}, doi = {}, year = {2013}, } Article: ase13experience-p033-p doi:
	K.M., Annervaz	ASE '13: "Natural Language Requirements ..." Natural Language Requirements Quality Analysis Based on Business Domain Models Annervaz K.M., Vikrant Kaulgud, Shubhashis Sengupta, and Milind Savagaonkar (Accenture Technology Labs, India) @InProceedings{ASE13p694, author = {Annervaz K.M. and Vikrant Kaulgud and Shubhashis Sengupta and Milind Savagaonkar}, title = {Natural Language Requirements Quality Analysis Based on Business Domain Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {694-693}, doi = {}, year = {2013}, } Article: ase13newideas-p035-p doi:
	Ko, Steven Y.	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi:
	Kowalczyk, Ryszard	ASE '13: "Smart Cloud Broker: Finding ..." Smart Cloud Broker: Finding Your Home in the Clouds Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, and Ryszard Kowalczyk (Swinburne University of Technology, Australia) @InProceedings{ASE13p716, author = {Mohan Baruwal Chhetri and Sergei Chichin and Quoc Bao Vo and Ryszard Kowalczyk}, title = {Smart Cloud Broker: Finding Your Home in the Clouds}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {716-715}, doi = {}, year = {2013}, } Article: ase13tools-id4-p doi:
	Kukreja, Nupul	ASE '13: "Randomizing Regression Tests ..." Randomizing Regression Tests using Game Theory Nupul Kukreja, William G. J. Halfond, and Milind Tambe (University of Southern California, USA) @InProceedings{ASE13p634, author = {Nupul Kukreja and William G. J. Halfond and Milind Tambe}, title = {Randomizing Regression Tests using Game Theory}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {634-633}, doi = {}, year = {2013}, } Article: ase13newideas-p357-p doi:
	Kusano, Markus	ASE '13: "CCmutator: A Mutation Generator ..." CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications Markus Kusano and Chao Wang (Virginia Tech, USA) @InProceedings{ASE13p740, author = {Markus Kusano and Chao Wang}, title = {CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {740-739}, doi = {}, year = {2013}, } Article: ase13tools-id1-p doi:
	Kwon, Yonghwi	ASE '13: "PIEtrace: Platform Independent ..." PIEtrace: Platform Independent Executable Trace Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA) @InProceedings{ASE13p63, author = {Yonghwi Kwon and Xiangyu Zhang and Dongyan Xu}, title = {PIEtrace: Platform Independent Executable Trace}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {63-62}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p055-p doi:
	Lawall, Julia	ASE '13: "Automatic Recommendation of ..." Automatic Recommendation of API Methods from Feature Requests Ferdian Thung, Shaowei Wang, David Lo, and Julia Lawall (Singapore Management University, Singapore; Inria, France; Lip6, France) @InProceedings{ASE13p305, author = {Ferdian Thung and Shaowei Wang and David Lo and Julia Lawall}, title = {Automatic Recommendation of API Methods from Feature Requests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {305-304}, doi = {}, year = {2013}, } Article: ase13main-p347-p doi:
	Lease, Matthew	ASE '13: "Improving Bug Localization ..." Improving Bug Localization using Structured Information Retrieval Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE13p360, author = {Ripon K. Saha and Matthew Lease and Sarfraz Khurshid and Dewayne E. Perry}, title = {Improving Bug Localization using Structured Information Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {360-359}, doi = {}, year = {2013}, } Article: ase13main-p349-p doi:
	Lee, Gunwoo	ASE '13: "Automated Unit Testing of ..." Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim (KAIST, South Korea; Samsung Electronics, South Korea) @InProceedings{ASE13p536, author = {Yunho Kim and Youil Kim and Taeksu Kim and Gunwoo Lee and Yoonkyu Jang and Moonzoo Kim}, title = {Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {536-535}, doi = {}, year = {2013}, } Article: ase13experience-p033-p doi:
	Lengauer, Christian	ASE '13: "The Potential of Polyhedral ..." The Potential of Polyhedral Optimization: An Empirical Study Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer (University of Passau, Germany) @InProceedings{ASE13p525, author = {Andreas Simbürger and Sven Apel and Armin Größlinger and Christian Lengauer}, title = {The Potential of Polyhedral Optimization: An Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {525-524}, doi = {}, year = {2013}, } Article: ase13experience-p025-p doi:
	Letsholo, Keletso J.	ASE '13: "TRAM: A Tool for Transforming ..." TRAM: A Tool for Transforming Textual Requirements into Analysis Models Keletso J. Letsholo, Liping Zhao, and Erol-Valeriu Chioasca (University of Manchester, UK) @InProceedings{ASE13p756, author = {Keletso J. Letsholo and Liping Zhao and Erol-Valeriu Chioasca}, title = {TRAM: A Tool for Transforming Textual Requirements into Analysis Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {756-755}, doi = {}, year = {2013}, } Article: ase13tools-id23-p doi:
	Li, Kaituo	ASE '13: "SEDGE: Symbolic Example Data ..." SEDGE: Symbolic Example Data Generation for Dataflow Programs Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA) @InProceedings{ASE13p250, author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner}, title = {SEDGE: Symbolic Example Data Generation for Dataflow Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {250-249}, doi = {}, year = {2013}, } Article: ase13main-p108-p doi:
	Li, Sihan	ASE '13: "Characteristic Studies of ..." Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann (North Carolina State University, USA; University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA) @InProceedings{ASE13p261, author = {Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann}, title = {Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2013}, } Article: ase13main-p049-p doi:
	Liblit, Ben	ASE '13: "Lightweight Control-Flow Instrumentation ..." Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging Peter Ohmann and Ben Liblit (University of Wisconsin-Madison, USA) @InProceedings{ASE13p393, author = {Peter Ohmann and Ben Liblit}, title = {Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {393-392}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p366-p doi:
	Lin, Jun	ASE '13: "Context-Aware Task Allocation ..." Context-Aware Task Allocation for Distributed Agile Team Jun Lin (Nanyang Technological University, Singapore) @InProceedings{ASE13p776, author = {Jun Lin}, title = {Context-Aware Task Allocation for Distributed Agile Team}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {776-775}, doi = {}, year = {2013}, } Article: ase13doctoral-docid7-p doi:
	Lin, Qingwei	ASE '13: "Software Analytics for Incident ..." Software Analytics for Incident Management of Online Services: An Experience Report Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie (Microsoft Research, China; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p492, author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie}, title = {Software Analytics for Incident Management of Online Services: An Experience Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {492-491}, doi = {}, year = {2013}, } Article: ase13experience-p022-p doi:
	Lin, Shang-Wei	ASE '13: "TzuYu: Learning Stateful Typestates ..." TzuYu: Learning Stateful Typestates Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p448, author = {Hao Xiao and Jun Sun and Yang Liu and Shang-Wei Lin and Chengnian Sun}, title = {TzuYu: Learning Stateful Typestates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2013}, } Article: ase13main-p131-p doi:
	Lin, Yu	ASE '13: "Bita: Coverage-Guided, Automatic ..." Bita: Coverage-Guided, Automatic Testing of Actor Programs Samira Tasharofi, Michael Pradel, Yu Lin, and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland) @InProceedings{ASE13p129, author = {Samira Tasharofi and Michael Pradel and Yu Lin and Ralph E. Johnson}, title = {Bita: Coverage-Guided, Automatic Testing of Actor Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {129-128}, doi = {}, year = {2013}, } Article: ase13main-p289-p doi:
	Linares-Vásquez, Mario	ASE '13: "ExPort: Detecting and Visualizing ..." ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers (College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA) @InProceedings{ASE13p664, author = {Evan Moritz and Mario Linares-Vásquez and Denys Poshyvanyk and Mark Grechanik and Collin McMillan and Malcom Gethers}, title = {ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2013}, } Article: ase13newideas-p287-p doi:
	Liu, Yang	ASE '13: "Constraint-Based Automatic ..." Constraint-Based Automatic Symmetry Detection Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE13p30, author = {Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong}, title = {Constraint-Based Automatic Symmetry Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {30-29}, doi = {}, year = {2013}, } Article: ase13main-p105-p doi: ASE '13: "Automatically Partition Software ..." Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p338, author = {Yongzheng Wu and Jun Sun and Yang Liu and Jin Song Dong}, title = {Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {338-337}, doi = {}, year = {2013}, } Article: ase13main-p241-p doi: ASE '13: "TzuYu: Learning Stateful Typestates ..." TzuYu: Learning Stateful Typestates Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p448, author = {Hao Xiao and Jun Sun and Yang Liu and Shang-Wei Lin and Chengnian Sun}, title = {TzuYu: Learning Stateful Typestates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2013}, } Article: ase13main-p131-p doi:
	Lo, David	ASE '13: "Automatic Recommendation of ..." Automatic Recommendation of API Methods from Feature Requests Ferdian Thung, Shaowei Wang, David Lo, and Julia Lawall (Singapore Management University, Singapore; Inria, France; Lip6, France) @InProceedings{ASE13p305, author = {Ferdian Thung and Shaowei Wang and David Lo and Julia Lawall}, title = {Automatic Recommendation of API Methods from Feature Requests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {305-304}, doi = {}, year = {2013}, } Article: ase13main-p347-p doi: ASE '13: "Mining Branching-Time Scenarios ..." Mining Branching-Time Scenarios Dirk Fahland, David Lo, and Shahar Maoz (Eindhoven University of Technology, Netherlands; Singapore Management University, Singapore; Tel Aviv University, Israel) @InProceedings{ASE13p459, author = {Dirk Fahland and David Lo and Shahar Maoz}, title = {Mining Branching-Time Scenarios}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {459-458}, doi = {}, year = {2013}, } Article: ase13main-p168-p doi:
	Lou, Jian-Guang	ASE '13: "Software Analytics for Incident ..." Software Analytics for Incident Management of Online Services: An Experience Report Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie (Microsoft Research, China; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p492, author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie}, title = {Software Analytics for Incident Management of Online Services: An Experience Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {492-491}, doi = {}, year = {2013}, } Article: ase13experience-p022-p doi:
	Löwe, Welf	ASE '13: "Dynamically Transforming Data ..." Dynamically Transforming Data Structures Erik Österlund and Welf Löwe (Linnaeus University, Sweden) @InProceedings{ASE13p426, author = {Erik Österlund and Welf Löwe}, title = {Dynamically Transforming Data Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {426-425}, doi = {}, year = {2013}, } Article: ase13main-p046-p doi:
	Lü, Jian	ASE '13: "Environment Rematching: Toward ..." Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lü (Nanjing University, China) @InProceedings{ASE13p610, author = {Chang Xu and Wenhua Yang and Xiaoxing Ma and Chun Cao and Jian Lü}, title = {Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {610-609}, doi = {}, year = {2013}, } Article: ase13newideas-p036-p doi:
	Ma, Junwei	ASE '13: "Constraint-Based Automatic ..." Constraint-Based Automatic Symmetry Detection Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE13p30, author = {Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong}, title = {Constraint-Based Automatic Symmetry Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {30-29}, doi = {}, year = {2013}, } Article: ase13main-p105-p doi:
	Ma, Xiaoxing	ASE '13: "Environment Rematching: Toward ..." Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lü (Nanjing University, China) @InProceedings{ASE13p610, author = {Chang Xu and Wenhua Yang and Xiaoxing Ma and Chun Cao and Jian Lü}, title = {Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {610-609}, doi = {}, year = {2013}, } Article: ase13newideas-p036-p doi:
	Macedo, Nuno	ASE '13: "Model Repair and Transformation ..." Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimarães, and Alcino Cunha (HASLab at INESC TEC, Portugal; Universidade do Minho, Portugal) @InProceedings{ASE13p712, author = {Nuno Macedo and Tiago Guimarães and Alcino Cunha}, title = {Model Repair and Transformation with Echo}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {712-711}, doi = {}, year = {2013}, } Article: ase13tools-id2-p doi:
	Maezawa, Yuta	ASE '13: "Automated Verification of ..." Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, and Shinichi Honiden (University of Tokyo, Japan; Waseda University, Japan; National Institute of Informatics, Japan) @InProceedings{ASE13p173, author = {Yuta Maezawa and Hironori Washizaki and Yoshinori Tanabe and Shinichi Honiden}, title = {Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {173-172}, doi = {}, year = {2013}, } Article: ase13main-p167-p doi:
	Manuel, Don	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi:
	Maoz, Shahar	ASE '13: "Mining Branching-Time Scenarios ..." Mining Branching-Time Scenarios Dirk Fahland, David Lo, and Shahar Maoz (Eindhoven University of Technology, Netherlands; Singapore Management University, Singapore; Tel Aviv University, Israel) @InProceedings{ASE13p459, author = {Dirk Fahland and David Lo and Shahar Maoz}, title = {Mining Branching-Time Scenarios}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {459-458}, doi = {}, year = {2013}, } Article: ase13main-p168-p doi:
	Marcus, Andrian	ASE '13: "Class Level Fault Prediction ..." Class Level Fault Prediction using Software Clustering Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, and Tim Menzies (University of Basilicata, Italy; University of Salerno, Italy; Wayne State University, USA; West Virginia University, USA) @InProceedings{ASE13p658, author = {Giuseppe Scanniello and Carmine Gravino and Andrian Marcus and Tim Menzies}, title = {Class Level Fault Prediction using Software Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {658-657}, doi = {}, year = {2013}, } Article: ase13newideas-p147-p doi:
	Marinov, Darko	ASE '13: "Operator-Based and Random ..." Operator-Based and Random Mutant Selection: Better Together Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p107, author = {Lingming Zhang and Milos Gligoric and Darko Marinov and Sarfraz Khurshid}, title = {Operator-Based and Random Mutant Selection: Better Together}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2013}, } Article: ase13main-p369-p doi:
	Masquelier, Vincent	ASE '13: "Model Based Test Validation ..." Model Based Test Validation and Oracles for Data Acquisition Systems Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier (University of Luxembourg, Luxembourg; SES, Luxembourg) @InProceedings{ASE13p558, author = {Daniel Di Nardo and Nadia Alshahwan and Lionel C. Briand and Elizabeta Fourneret and Tomislav Nakić-Alfirević and Vincent Masquelier}, title = {Model Based Test Validation and Oracles for Data Acquisition Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {558-557}, doi = {}, year = {2013}, } Article: ase13experience-p074-p doi:
	McCarthy, Jay	ASE '13: "Proving MCAPI Executions Are ..." Proving MCAPI Executions Are Correct using SMT Yu Huang, Eric Mercer, and Jay McCarthy (Brigham Young University, USA) @InProceedings{ASE13p41, author = {Yu Huang and Eric Mercer and Jay McCarthy}, title = {Proving MCAPI Executions Are Correct using SMT}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2013}, } Article: ase13main-p246-p doi:
	McMillan, Collin	ASE '13: "ExPort: Detecting and Visualizing ..." ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers (College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA) @InProceedings{ASE13p664, author = {Evan Moritz and Mario Linares-Vásquez and Denys Poshyvanyk and Mark Grechanik and Collin McMillan and Malcom Gethers}, title = {ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2013}, } Article: ase13newideas-p287-p doi:
	Medvidovic, Nenad	ASE '13: "A Comparative Analysis of ..." A Comparative Analysis of Software Architecture Recovery Techniques Joshua Garcia, Igor Ivkovic, and Nenad Medvidovic (University of Southern California, USA; Wilfrid Laurier University, Canada) @InProceedings{ASE13p503, author = {Joshua Garcia and Igor Ivkovic and Nenad Medvidovic}, title = {A Comparative Analysis of Software Architecture Recovery Techniques}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {503-502}, doi = {}, year = {2013}, } Article: ase13experience-p111-p doi:
	Menzies, Tim	ASE '13: "Scalable Product Line Configuration: ..." Scalable Product Line Configuration: A Straw to Break the Camel’s Back Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, and Hany Ammar (West Virginia University, USA) @InProceedings{ASE13p481, author = {Abdel Salam Sayyad and Joseph Ingram and Tim Menzies and Hany Ammar}, title = {Scalable Product Line Configuration: A Straw to Break the Camel’s Back}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2013}, } Article: ase13main-p350-p doi: ASE '13: "Class Level Fault Prediction ..." Class Level Fault Prediction using Software Clustering Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, and Tim Menzies (University of Basilicata, Italy; University of Salerno, Italy; Wayne State University, USA; West Virginia University, USA) @InProceedings{ASE13p658, author = {Giuseppe Scanniello and Carmine Gravino and Andrian Marcus and Tim Menzies}, title = {Class Level Fault Prediction using Software Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {658-657}, doi = {}, year = {2013}, } Article: ase13newideas-p147-p doi:
	Mercer, Eric	ASE '13: "Proving MCAPI Executions Are ..." Proving MCAPI Executions Are Correct using SMT Yu Huang, Eric Mercer, and Jay McCarthy (Brigham Young University, USA) @InProceedings{ASE13p41, author = {Yu Huang and Eric Mercer and Jay McCarthy}, title = {Proving MCAPI Executions Are Correct using SMT}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2013}, } Article: ase13main-p246-p doi:
	Meredith, Patrick	ASE '13: "Efficient Parametric Runtime ..." Efficient Parametric Runtime Verification with Deterministic String Rewriting Patrick Meredith and Grigore Roşu (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p85, author = {Patrick Meredith and Grigore Roşu}, title = {Efficient Parametric Runtime Verification with Deterministic String Rewriting}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {85-84}, doi = {}, year = {2013}, } Article: ase13main-p045-p doi:
	Merz, Florian	ASE '13: "The Bounded Model Checker ..." The Bounded Model Checker LLBMC Stephan Falke, Florian Merz, and Carsten Sinz (KIT, Germany) @InProceedings{ASE13p724, author = {Stephan Falke and Florian Merz and Carsten Sinz}, title = {The Bounded Model Checker LLBMC}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {724-723}, doi = {}, year = {2013}, } Article: ase13tools-id19-p doi:
	Mesbah, Ali	ASE '13: "Pythia: Generating Test Cases ..." Pythia: Generating Test Cases with Oracles for JavaScript Applications Shabnam Mirshokraie, Ali Mesbah, and Karthik Pattabiraman (University of British Columbia, Canada) @InProceedings{ASE13p628, author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman}, title = {Pythia: Generating Test Cases with Oracles for JavaScript Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {628-627}, doi = {}, year = {2013}, } Article: ase13newideas-p315-p doi:
	Mirakhorli, Mehdi	ASE '13: "Preventing Erosion of Architectural ..." Preventing Erosion of Architectural Tactics through Their Strategic Implementation, Preservation, and Visualization Mehdi Mirakhorli (DePaul University, USA) @InProceedings{ASE13p780, author = {Mehdi Mirakhorli}, title = {Preventing Erosion of Architectural Tactics through Their Strategic Implementation, Preservation, and Visualization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {780-779}, doi = {}, year = {2013}, } Article: ase13doctoral-docid8-p doi:
	Mirshokraie, Shabnam	ASE '13: "Pythia: Generating Test Cases ..." Pythia: Generating Test Cases with Oracles for JavaScript Applications Shabnam Mirshokraie, Ali Mesbah, and Karthik Pattabiraman (University of British Columbia, Canada) @InProceedings{ASE13p628, author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman}, title = {Pythia: Generating Test Cases with Oracles for JavaScript Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {628-627}, doi = {}, year = {2013}, } Article: ase13newideas-p315-p doi:
	Moritz, Evan	ASE '13: "ExPort: Detecting and Visualizing ..." ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers (College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA) @InProceedings{ASE13p664, author = {Evan Moritz and Mario Linares-Vásquez and Denys Poshyvanyk and Mark Grechanik and Collin McMillan and Malcom Gethers}, title = {ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2013}, } Article: ase13newideas-p287-p doi:
	Motwani, Manish	ASE '13: "Detecting System Use Cases ..." Detecting System Use Cases and Validations from Documents Smita Ghaisas, Manish Motwani, and Preethu Rose Anish (Tata Consultancy Services, India) @InProceedings{ASE13p586, author = {Smita Ghaisas and Manish Motwani and Preethu Rose Anish}, title = {Detecting System Use Cases and Validations from Documents}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2013}, } Article: ase13newideas-p399-p doi:
	Nakić-Alfirević, Tomislav	ASE '13: "Model Based Test Validation ..." Model Based Test Validation and Oracles for Data Acquisition Systems Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier (University of Luxembourg, Luxembourg; SES, Luxembourg) @InProceedings{ASE13p558, author = {Daniel Di Nardo and Nadia Alshahwan and Lionel C. Briand and Elizabeta Fourneret and Tomislav Nakić-Alfirević and Vincent Masquelier}, title = {Model Based Test Validation and Oracles for Data Acquisition Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {558-557}, doi = {}, year = {2013}, } Article: ase13experience-p074-p doi:
	Nanjundaswamy, Vishwas	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi:
	Natella, Roberto	ASE '13: "SABRINE: State-Based Robustness ..." SABRINE: State-Based Robustness Testing of Operating Systems Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, and Roberto Natella (Università degli Studi di Napoli Federico II, Italy; Critiware, Italy) @InProceedings{ASE13p140, author = {Domenico Cotroneo and Domenico Di Leo and Francesco Fucci and Roberto Natella}, title = {SABRINE: State-Based Robustness Testing of Operating Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {140-139}, doi = {}, year = {2013}, } Article: ase13main-p146-p doi:
	Nebut, Clémentine	ASE '13: "Recovering Model Transformation ..." Recovering Model Transformation Traces using Multi-Objective Optimization Hajer Saada, Marianne Huchard, Clémentine Nebut, and Houari Sahraoui (Université Montpellier 2, France; CNRS, France; Université de Montréal, Canada) @InProceedings{ASE13p706, author = {Hajer Saada and Marianne Huchard and Clémentine Nebut and Houari Sahraoui}, title = {Recovering Model Transformation Traces using Multi-Objective Optimization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2013}, } Article: ase13newideas-p218-p doi:
	Nejati, Shiva	ASE '13: "Minimizing CPU Time Shortage ..." Minimizing CPU Time Shortage Risks in Integrated Embedded Software Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement (University of Luxembourg, Luxembourg; Delphi, Luxembourg) @InProceedings{ASE13p547, author = {Shiva Nejati and Morayo Adedjouma and Lionel C. Briand and Jonathan Hellebaut and Julien Begey and Yves Clement}, title = {Minimizing CPU Time Shortage Risks in Integrated Embedded Software}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {547-546}, doi = {}, year = {2013}, } Article: ase13experience-p145-p doi:
	Nguyen, Anh Tuan	ASE '13: "A Study of Repetitiveness ..." A Study of Repetitiveness of Code Changes in Software Evolution Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{ASE13p195, author = {Hoan Anh Nguyen and Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen and Hridesh Rajan}, title = {A Study of Repetitiveness of Code Changes in Software Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {195-194}, doi = {}, year = {2013}, } Article: ase13main-p319-p doi: ASE '13: "Dangling References in Multi-configuration ..." Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE13p415, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Anh Tuan Nguyen and Tien N. Nguyen}, title = {Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {415-414}, doi = {}, year = {2013}, } Article: ase13main-p310-p doi:
	Nguyen, Cu Duy	ASE '13: "Automated Inference of Classifications ..." Automated Inference of Classifications and Dependencies for Combinatorial Testing Cu Duy Nguyen and Paolo Tonella (Fondazione Bruno Kessler, Italy) @InProceedings{ASE13p640, author = {Cu Duy Nguyen and Paolo Tonella}, title = {Automated Inference of Classifications and Dependencies for Combinatorial Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2013}, } Article: ase13newideas-p144-p doi:
	Nguyen, Hoan Anh	ASE '13: "A Study of Repetitiveness ..." A Study of Repetitiveness of Code Changes in Software Evolution Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{ASE13p195, author = {Hoan Anh Nguyen and Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen and Hridesh Rajan}, title = {A Study of Repetitiveness of Code Changes in Software Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {195-194}, doi = {}, year = {2013}, } Article: ase13main-p319-p doi: ASE '13: "Dangling References in Multi-configuration ..." Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE13p415, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Anh Tuan Nguyen and Tien N. Nguyen}, title = {Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {415-414}, doi = {}, year = {2013}, } Article: ase13main-p310-p doi:
	Nguyen, Hung Viet	ASE '13: "Dangling References in Multi-configuration ..." Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE13p415, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Anh Tuan Nguyen and Tien N. Nguyen}, title = {Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {415-414}, doi = {}, year = {2013}, } Article: ase13main-p310-p doi:
	Nguyen, Tien N.	ASE '13: "A Study of Repetitiveness ..." A Study of Repetitiveness of Code Changes in Software Evolution Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{ASE13p195, author = {Hoan Anh Nguyen and Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen and Hridesh Rajan}, title = {A Study of Repetitiveness of Code Changes in Software Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {195-194}, doi = {}, year = {2013}, } Article: ase13main-p319-p doi: ASE '13: "Dangling References in Multi-configuration ..." Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE13p415, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Anh Tuan Nguyen and Tien N. Nguyen}, title = {Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {415-414}, doi = {}, year = {2013}, } Article: ase13main-p310-p doi:
	Nguyen, Tung Thanh	ASE '13: "A Study of Repetitiveness ..." A Study of Repetitiveness of Code Changes in Software Evolution Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{ASE13p195, author = {Hoan Anh Nguyen and Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen and Hridesh Rajan}, title = {A Study of Repetitiveness of Code Changes in Software Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {195-194}, doi = {}, year = {2013}, } Article: ase13main-p319-p doi: ASE '13: "Dangling References in Multi-configuration ..." Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE13p415, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Anh Tuan Nguyen and Tien N. Nguyen}, title = {Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {415-414}, doi = {}, year = {2013}, } Article: ase13main-p310-p doi:
	Ohmann, Peter	ASE '13: "Lightweight Control-Flow Instrumentation ..." Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging Peter Ohmann and Ben Liblit (University of Wisconsin-Madison, USA) @InProceedings{ASE13p393, author = {Peter Ohmann and Ben Liblit}, title = {Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {393-392}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p366-p doi:
	Oliveto, Rocco	ASE '13: "Detecting Bad Smells in Source ..." Detecting Bad Smells in Source Code using Change History Information Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk (University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA) @InProceedings{ASE13p283, author = {Fabio Palomba and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrea De Lucia and Denys Poshyvanyk}, title = {Detecting Bad Smells in Source Code using Change History Information}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p doi:
	Orso, Alessandro	ASE '13: "SBFR: A Search Based Approach ..." SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, and Paolo Tonella (Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA) @InProceedings{ASE13p622, author = {Fitsum Meshesha Kifetew and Wei Jin and Roberto Tiella and Alessandro Orso and Paolo Tonella}, title = {SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {622-621}, doi = {}, year = {2013}, } Article: ase13newideas-p126-p doi:
	Österlund, Erik	ASE '13: "Dynamically Transforming Data ..." Dynamically Transforming Data Structures Erik Österlund and Welf Löwe (Linnaeus University, Sweden) @InProceedings{ASE13p426, author = {Erik Österlund and Welf Löwe}, title = {Dynamically Transforming Data Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {426-425}, doi = {}, year = {2013}, } Article: ase13main-p046-p doi:
	Padmanabhuni, Bindu Madhavi	ASE '13: "A Scalable Approach for Malware ..." A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, and Bindu Madhavi Padmanabhuni (Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg) @InProceedings{ASE13p327, author = {Mahinthan Chandramohan and Hee Beng Kuan Tan and Lionel C. Briand and Lwin Khin Shar and Bindu Madhavi Padmanabhuni}, title = {A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2013}, } Article: ase13main-p121-p doi:
	Pal, Debjit	ASE '13: "Using Automatically Generated ..." Using Automatically Generated Invariants for Regression Testing and Bug Localization Parth Sagdeo, Nicholas Ewalt, Debjit Pal, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p652, author = {Parth Sagdeo and Nicholas Ewalt and Debjit Pal and Shobha Vasudevan}, title = {Using Automatically Generated Invariants for Regression Testing and Bug Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2013}, } Article: ase13newideas-p371-p doi:
	Palepu, Vijay Krishna	ASE '13: "Improving Efficiency of Dynamic ..." Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries Vijay Krishna Palepu, Guoqing Xu, and James A. Jones (University of California at Irvine, USA) @InProceedings{ASE13p74, author = {Vijay Krishna Palepu and Guoqing Xu and James A. Jones}, title = {Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {74-73}, doi = {}, year = {2013}, } Article: ase13main-p295-p doi:
	Palomba, Fabio	ASE '13: "Detecting Bad Smells in Source ..." Detecting Bad Smells in Source Code using Change History Information Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk (University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA) @InProceedings{ASE13p283, author = {Fabio Palomba and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrea De Lucia and Denys Poshyvanyk}, title = {Detecting Bad Smells in Source Code using Change History Information}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p doi:
	Pandey, Ashutosh	ASE '13: "Automated Planning for Software ..." Automated Planning for Software Architecture Evolution Jeffrey M. Barnes, Ashutosh Pandey, and David Garlan (Carnegie Mellon University, USA) @InProceedings{ASE13p228, author = {Jeffrey M. Barnes and Ashutosh Pandey and David Garlan}, title = {Automated Planning for Software Architecture Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {228-227}, doi = {}, year = {2013}, } Article: ase13main-p094-p doi:
	Parlato, Gennaro	ASE '13: "CSeq: A Concurrency Pre-processor ..." CSeq: A Concurrency Pre-processor for Sequential C Verification Tools Bernd Fischer, Omar Inverso, and Gennaro Parlato (Stellenbosch University, South Africa; University of Southampton, UK) @InProceedings{ASE13p728, author = {Bernd Fischer and Omar Inverso and Gennaro Parlato}, title = {CSeq: A Concurrency Pre-processor for Sequential C Verification Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {728-727}, doi = {}, year = {2013}, } Article: ase13tools-id12-p doi:
	Pattabiraman, Karthik	ASE '13: "Pythia: Generating Test Cases ..." Pythia: Generating Test Cases with Oracles for JavaScript Applications Shabnam Mirshokraie, Ali Mesbah, and Karthik Pattabiraman (University of British Columbia, Canada) @InProceedings{ASE13p628, author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman}, title = {Pythia: Generating Test Cases with Oracles for JavaScript Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {628-627}, doi = {}, year = {2013}, } Article: ase13newideas-p315-p doi:
	Peng, Xin	ASE '13: "Towards Contextual and On-Demand ..." Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE13p514, author = {Gang Zhang and Xin Peng and Zhenchang Xing and Shihai Jiang and Hai Wang and Wenyun Zhao}, title = {Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {514-513}, doi = {}, year = {2013}, } Article: ase13experience-p097-p doi:
	Penix, John	ASE '13: "Big Problems in Industry (Panel) ..." Big Problems in Industry (Panel) John Penix (Google, USA) @InProceedings{ASE13p13, author = {John Penix}, title = {Big Problems in Industry (Panel)}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } Article: ase13invited-panel1-p doi:
	Perry, Dewayne E.	ASE '13: "Improving Bug Localization ..." Improving Bug Localization using Structured Information Retrieval Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE13p360, author = {Ripon K. Saha and Matthew Lease and Sarfraz Khurshid and Dewayne E. Perry}, title = {Improving Bug Localization using Structured Information Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {360-359}, doi = {}, year = {2013}, } Article: ase13main-p349-p doi:
	Person, Suzette	ASE '13: "Detecting and Characterizing ..." Detecting and Characterizing Semantic Inconsistencies in Ported Code Baishakhi Ray, Miryung Kim, Suzette Person, and Neha Rungta (University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA) @InProceedings{ASE13p382, author = {Baishakhi Ray and Miryung Kim and Suzette Person and Neha Rungta}, title = {Detecting and Characterizing Semantic Inconsistencies in Ported Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {382-381}, doi = {}, year = {2013}, } Article: ase13main-p237-p doi:
	Pilgrim, Jens von	ASE '13: "Model/Code Co-Refactoring: ..." Model/Code Co-Refactoring: An MDE Approach Jens von Pilgrim, Bastian Ulke, Andreas Thies, and Friedrich Steimann (Fernuniversität in Hagen, Germany) @InProceedings{ASE13p700, author = {Jens von Pilgrim and Bastian Ulke and Andreas Thies and Friedrich Steimann}, title = {Model/Code Co-Refactoring: An MDE Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {700-699}, doi = {}, year = {2013}, } Article: ase13newideas-p275-p doi:
	Pohl, Klaus	ASE '13: "Measuring the Structural Complexity ..." Measuring the Structural Complexity of Feature Models Richard Pohl, Vanessa Stricker, and Klaus Pohl (University of Duisburg-Essen, Germany) @InProceedings{ASE13p470, author = {Richard Pohl and Vanessa Stricker and Klaus Pohl}, title = {Measuring the Structural Complexity of Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {470-469}, doi = {}, year = {2013}, } Article: ase13main-p209-p doi:
	Pohl, Richard	ASE '13: "Measuring the Structural Complexity ..." Measuring the Structural Complexity of Feature Models Richard Pohl, Vanessa Stricker, and Klaus Pohl (University of Duisburg-Essen, Germany) @InProceedings{ASE13p470, author = {Richard Pohl and Vanessa Stricker and Klaus Pohl}, title = {Measuring the Structural Complexity of Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {470-469}, doi = {}, year = {2013}, } Article: ase13main-p209-p doi:
	Poshyvanyk, Denys	ASE '13: "Detecting Bad Smells in Source ..." Detecting Bad Smells in Source Code using Change History Information Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk (University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA) @InProceedings{ASE13p283, author = {Fabio Palomba and Gabriele Bavota and Massimiliano Di Penta and Rocco Oliveto and Andrea De Lucia and Denys Poshyvanyk}, title = {Detecting Bad Smells in Source Code using Change History Information}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p doi: ASE '13: "ExPort: Detecting and Visualizing ..." ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers (College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA) @InProceedings{ASE13p664, author = {Evan Moritz and Mario Linares-Vásquez and Denys Poshyvanyk and Mark Grechanik and Collin McMillan and Malcom Gethers}, title = {ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {664-663}, doi = {}, year = {2013}, } Article: ase13newideas-p287-p doi:
	Potter, Richard	ASE '13: "Software Model Checking for ..." Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto (AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE13p184, author = {Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto}, title = {Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {184-183}, doi = {}, year = {2013}, } Article: ase13main-p102-p doi:
	Pradel, Michael	ASE '13: "Bita: Coverage-Guided, Automatic ..." Bita: Coverage-Guided, Automatic Testing of Actor Programs Samira Tasharofi, Michael Pradel, Yu Lin, and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland) @InProceedings{ASE13p129, author = {Samira Tasharofi and Michael Pradel and Yu Lin and Ralph E. Johnson}, title = {Bita: Coverage-Guided, Automatic Testing of Actor Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {129-128}, doi = {}, year = {2013}, } Article: ase13main-p289-p doi:
	Rafiq, Yasmin	ASE '13: "Developing Self-Verifying ..." Developing Self-Verifying Service-Based Systems Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq (University of York, UK) @InProceedings{ASE13p752, author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq}, title = {Developing Self-Verifying Service-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {752-751}, doi = {}, year = {2013}, } Article: ase13tools-id22-p doi:
	Rajan, Hridesh	ASE '13: "A Study of Repetitiveness ..." A Study of Repetitiveness of Code Changes in Software Evolution Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA) @InProceedings{ASE13p195, author = {Hoan Anh Nguyen and Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen and Hridesh Rajan}, title = {A Study of Repetitiveness of Code Changes in Software Evolution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {195-194}, doi = {}, year = {2013}, } Article: ase13main-p319-p doi:
	Ráth, István	ASE '13: "Towards Precise Metrics for ..." Towards Precise Metrics for Predicting Graph Query Performance Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, and István Ráth (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE13p437, author = {Benedek Izsó and Zoltán Szatmári and Gábor Bergmann and Ákos Horváth and István Ráth}, title = {Towards Precise Metrics for Predicting Graph Query Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2013}, } Article: ase13main-p229-p doi:
	Ray, Baishakhi	ASE '13: "Detecting and Characterizing ..." Detecting and Characterizing Semantic Inconsistencies in Ported Code Baishakhi Ray, Miryung Kim, Suzette Person, and Neha Rungta (University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA) @InProceedings{ASE13p382, author = {Baishakhi Ray and Miryung Kim and Suzette Person and Neha Rungta}, title = {Detecting and Characterizing Semantic Inconsistencies in Ported Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {382-381}, doi = {}, year = {2013}, } Article: ase13main-p237-p doi:
	Reger, Giles	ASE '13: "A Pattern-Based Approach to ..." A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard (University of Manchester, UK) @InProceedings{ASE13p676, author = {Giles Reger and Howard Barringer and David Rydeheard}, title = {A Pattern-Based Approach to Parametric Specification Mining}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {676-675}, doi = {}, year = {2013}, } Article: ase13newideas-p231-p doi:
	Reichenbach, Christoph	ASE '13: "SEDGE: Symbolic Example Data ..." SEDGE: Symbolic Example Data Generation for Dataflow Programs Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA) @InProceedings{ASE13p250, author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner}, title = {SEDGE: Symbolic Example Data Generation for Dataflow Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {250-249}, doi = {}, year = {2013}, } Article: ase13main-p108-p doi:
	Rhee, Junghwan	ASE '13: "iProbe: A Lightweight User-Level ..." iProbe: A Lightweight User-Level Dynamic Instrumentation Tool Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang (NEC Labs, USA) @InProceedings{ASE13p760, author = {Nipun Arora and Hui Zhang and Junghwan Rhee and Kenji Yoshihira and Guofei Jiang}, title = {iProbe: A Lightweight User-Level Dynamic Instrumentation Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {760-759}, doi = {}, year = {2013}, } Article: ase13tools-id24-p doi:
	Rosenberg, Brian	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi:
	Rosner, Nicolás	ASE '13: "Ranger: Parallel Analysis ..." Ranger: Parallel Analysis of Alloy Models by Range Partitioning Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias (Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina) @InProceedings{ASE13p162, author = {Nicolás Rosner and Junaid H. Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias}, title = {Ranger: Parallel Analysis of Alloy Models by Range Partitioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {162-161}, doi = {}, year = {2013}, } Article: ase13main-p336-p doi:
	Roşu, Grigore	ASE '13: "Efficient Parametric Runtime ..." Efficient Parametric Runtime Verification with Deterministic String Rewriting Patrick Meredith and Grigore Roşu (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p85, author = {Patrick Meredith and Grigore Roşu}, title = {Efficient Parametric Runtime Verification with Deterministic String Rewriting}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {85-84}, doi = {}, year = {2013}, } Article: ase13main-p045-p doi:
	Rothermel, Gregg	ASE '13: "Testing Properties of Dataflow ..." Testing Properties of Dataflow Program Operators Zhihong Xu, Martin Hirzel, Gregg Rothermel, and Kun-Lung Wu (University of Nebraska-Lincoln, USA; IBM Research, USA) @InProceedings{ASE13p118, author = {Zhihong Xu and Martin Hirzel and Gregg Rothermel and Kun-Lung Wu}, title = {Testing Properties of Dataflow Program Operators}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {118-117}, doi = {}, year = {2013}, } Article: ase13main-p028-p doi:
	Ruiz-Cortés, Antonio	ASE '13: "Multi-user Variability Configuration: ..." Multi-user Variability Configuration: A Game Theoretic Approach Jesús García-Galán, Pablo Trinidad, and Antonio Ruiz-Cortés (University of Seville, Spain) @InProceedings{ASE13p592, author = {Jesús García-Galán and Pablo Trinidad and Antonio Ruiz-Cortés}, title = {Multi-user Variability Configuration: A Game Theoretic Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2013}, } Article: ase13newideas-p262-p doi:
	Rungta, Neha	ASE '13: "Detecting and Characterizing ..." Detecting and Characterizing Semantic Inconsistencies in Ported Code Baishakhi Ray, Miryung Kim, Suzette Person, and Neha Rungta (University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA) @InProceedings{ASE13p382, author = {Baishakhi Ray and Miryung Kim and Suzette Person and Neha Rungta}, title = {Detecting and Characterizing Semantic Inconsistencies in Ported Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {382-381}, doi = {}, year = {2013}, } Article: ase13main-p237-p doi:
	Rydeheard, David	ASE '13: "A Pattern-Based Approach to ..." A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard (University of Manchester, UK) @InProceedings{ASE13p676, author = {Giles Reger and Howard Barringer and David Rydeheard}, title = {A Pattern-Based Approach to Parametric Specification Mining}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {676-675}, doi = {}, year = {2013}, } Article: ase13newideas-p231-p doi:
	Saada, Hajer	ASE '13: "Recovering Model Transformation ..." Recovering Model Transformation Traces using Multi-Objective Optimization Hajer Saada, Marianne Huchard, Clémentine Nebut, and Houari Sahraoui (Université Montpellier 2, France; CNRS, France; Université de Montréal, Canada) @InProceedings{ASE13p706, author = {Hajer Saada and Marianne Huchard and Clémentine Nebut and Houari Sahraoui}, title = {Recovering Model Transformation Traces using Multi-Objective Optimization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2013}, } Article: ase13newideas-p218-p doi:
	Sagdeo, Parth	ASE '13: "Using Automatically Generated ..." Using Automatically Generated Invariants for Regression Testing and Bug Localization Parth Sagdeo, Nicholas Ewalt, Debjit Pal, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p652, author = {Parth Sagdeo and Nicholas Ewalt and Debjit Pal and Shobha Vasudevan}, title = {Using Automatically Generated Invariants for Regression Testing and Bug Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2013}, } Article: ase13newideas-p371-p doi:
	Saha, Ripon K.	ASE '13: "Improving Bug Localization ..." Improving Bug Localization using Structured Information Retrieval Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE13p360, author = {Ripon K. Saha and Matthew Lease and Sarfraz Khurshid and Dewayne E. Perry}, title = {Improving Bug Localization using Structured Information Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {360-359}, doi = {}, year = {2013}, } Article: ase13main-p349-p doi:
	Sahraoui, Houari	ASE '13: "Recovering Model Transformation ..." Recovering Model Transformation Traces using Multi-Objective Optimization Hajer Saada, Marianne Huchard, Clémentine Nebut, and Houari Sahraoui (Université Montpellier 2, France; CNRS, France; Université de Montréal, Canada) @InProceedings{ASE13p706, author = {Hajer Saada and Marianne Huchard and Clémentine Nebut and Houari Sahraoui}, title = {Recovering Model Transformation Traces using Multi-Objective Optimization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {706-705}, doi = {}, year = {2013}, } Article: ase13newideas-p218-p doi:
	Sannier, Nicolas	ASE '13: "From Comparison Matrix to ..." From Comparison Matrix to Variability Model: The Wikipedia Case Study Nicolas Sannier, Mathieu Acher, and Benoit Baudry (University of Rennes 1, France; Inria, France; Irisa, France) @InProceedings{ASE13p598, author = {Nicolas Sannier and Mathieu Acher and Benoit Baudry}, title = {From Comparison Matrix to Variability Model: The Wikipedia Case Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {598-597}, doi = {}, year = {2013}, } Article: ase13newideas-p077-p doi:
	Savagaonkar, Milind	ASE '13: "Natural Language Requirements ..." Natural Language Requirements Quality Analysis Based on Business Domain Models Annervaz K.M., Vikrant Kaulgud, Shubhashis Sengupta, and Milind Savagaonkar (Accenture Technology Labs, India) @InProceedings{ASE13p694, author = {Annervaz K.M. and Vikrant Kaulgud and Shubhashis Sengupta and Milind Savagaonkar}, title = {Natural Language Requirements Quality Analysis Based on Business Domain Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {694-693}, doi = {}, year = {2013}, } Article: ase13newideas-p035-p doi:
	Sayyad, Abdel Salam	ASE '13: "Scalable Product Line Configuration: ..." Scalable Product Line Configuration: A Straw to Break the Camel’s Back Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, and Hany Ammar (West Virginia University, USA) @InProceedings{ASE13p481, author = {Abdel Salam Sayyad and Joseph Ingram and Tim Menzies and Hany Ammar}, title = {Scalable Product Line Configuration: A Straw to Break the Camel’s Back}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2013}, } Article: ase13main-p350-p doi:
	Scanniello, Giuseppe	ASE '13: "Class Level Fault Prediction ..." Class Level Fault Prediction using Software Clustering Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, and Tim Menzies (University of Basilicata, Italy; University of Salerno, Italy; Wayne State University, USA; West Virginia University, USA) @InProceedings{ASE13p658, author = {Giuseppe Scanniello and Carmine Gravino and Andrian Marcus and Tim Menzies}, title = {Class Level Fault Prediction using Software Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {658-657}, doi = {}, year = {2013}, } Article: ase13newideas-p147-p doi:
	Schaefer, Christopher	ASE '13: "Crushinator: A Framework towards ..." Crushinator: A Framework towards Game-Independent Testing Christopher Schaefer, Hyunsook Do, and Brian M. Slator (North Dakota State University, USA) @InProceedings{ASE13p744, author = {Christopher Schaefer and Hyunsook Do and Brian M. Slator}, title = {Crushinator: A Framework towards Game-Independent Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {744-743}, doi = {}, year = {2013}, } Article: ase13tools-id13-p doi:
	Sengupta, Shubhashis	ASE '13: "Natural Language Requirements ..." Natural Language Requirements Quality Analysis Based on Business Domain Models Annervaz K.M., Vikrant Kaulgud, Shubhashis Sengupta, and Milind Savagaonkar (Accenture Technology Labs, India) @InProceedings{ASE13p694, author = {Annervaz K.M. and Vikrant Kaulgud and Shubhashis Sengupta and Milind Savagaonkar}, title = {Natural Language Requirements Quality Analysis Based on Business Domain Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {694-693}, doi = {}, year = {2013}, } Article: ase13newideas-p035-p doi:
	Servant, Francisco	ASE '13: "Supporting Bug Investigation ..." Supporting Bug Investigation using History Analysis Francisco Servant (University of California at Irvine, USA) @InProceedings{ASE13p772, author = {Francisco Servant}, title = {Supporting Bug Investigation using History Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {772-771}, doi = {}, year = {2013}, } Article: ase13doctoral-docid5-p doi:
	Seyff, Norbert	ASE '13: "Semi-automatic Generation ..." Semi-automatic Generation of Metamodels from Model Sketches Dustin Wüest, Norbert Seyff, and Martin Glinz (University of Zurich, Switzerland) @InProceedings{ASE13p682, author = {Dustin Wüest and Norbert Seyff and Martin Glinz}, title = {Semi-automatic Generation of Metamodels from Model Sketches}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {682-681}, doi = {}, year = {2013}, } Article: ase13newideas-p320-p doi:
	Shah, Eeshan	ASE '13: "Cloud Twin: Native Execution ..." Cloud Twin: Native Execution of Android Applications on the Windows Phone Ethan Holder, Eeshan Shah, Mohammed Davoodi, and Eli Tilevich (Virginia Tech, USA) @InProceedings{ASE13p616, author = {Ethan Holder and Eeshan Shah and Mohammed Davoodi and Eli Tilevich}, title = {Cloud Twin: Native Execution of Android Applications on the Windows Phone}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {616-615}, doi = {}, year = {2013}, } Article: ase13newideas-p405-p doi:
	Shar, Lwin Khin	ASE '13: "A Scalable Approach for Malware ..." A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, and Bindu Madhavi Padmanabhuni (Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg) @InProceedings{ASE13p327, author = {Mahinthan Chandramohan and Hee Beng Kuan Tan and Lionel C. Briand and Lwin Khin Shar and Bindu Madhavi Padmanabhuni}, title = {A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2013}, } Article: ase13main-p121-p doi:
	Shen, Feng	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi:
	Shin, Yonghee	ASE '13: "Learning Effective Query Transformations ..." Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval Timothy Dietrich, Jane Cleland-Huang, and Yonghee Shin (DePaul University, USA) @InProceedings{ASE13p604, author = {Timothy Dietrich and Jane Cleland-Huang and Yonghee Shin}, title = {Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {604-603}, doi = {}, year = {2013}, } Article: ase13newideas-p180-p doi:
	Siddiqui, Junaid H.	ASE '13: "Ranger: Parallel Analysis ..." Ranger: Parallel Analysis of Alloy Models by Range Partitioning Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias (Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina) @InProceedings{ASE13p162, author = {Nicolás Rosner and Junaid H. Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias}, title = {Ranger: Parallel Analysis of Alloy Models by Range Partitioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {162-161}, doi = {}, year = {2013}, } Article: ase13main-p336-p doi:
	Siegmund, Norbert	ASE '13: "Variability-Aware Performance ..." Variability-Aware Performance Prediction: A Statistical Learning Approach Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski (University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark) @InProceedings{ASE13p316, author = {Jianmei Guo and Krzysztof Czarnecki and Sven Apel and Norbert Siegmund and Andrzej Wąsowski}, title = {Variability-Aware Performance Prediction: A Statistical Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {316-315}, doi = {}, year = {2013}, } Article: ase13main-p002-p doi:
	Simbürger, Andreas	ASE '13: "The Potential of Polyhedral ..." The Potential of Polyhedral Optimization: An Empirical Study Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer (University of Passau, Germany) @InProceedings{ASE13p525, author = {Andreas Simbürger and Sven Apel and Armin Größlinger and Christian Lengauer}, title = {The Potential of Polyhedral Optimization: An Empirical Study}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {525-524}, doi = {}, year = {2013}, } Article: ase13experience-p025-p doi:
	Sinz, Carsten	ASE '13: "The Bounded Model Checker ..." The Bounded Model Checker LLBMC Stephan Falke, Florian Merz, and Carsten Sinz (KIT, Germany) @InProceedings{ASE13p724, author = {Stephan Falke and Florian Merz and Carsten Sinz}, title = {The Bounded Model Checker LLBMC}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {724-723}, doi = {}, year = {2013}, } Article: ase13tools-id19-p doi:
	Slator, Brian M.	ASE '13: "Crushinator: A Framework towards ..." Crushinator: A Framework towards Game-Independent Testing Christopher Schaefer, Hyunsook Do, and Brian M. Slator (North Dakota State University, USA) @InProceedings{ASE13p744, author = {Christopher Schaefer and Hyunsook Do and Brian M. Slator}, title = {Crushinator: A Framework towards Game-Independent Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {744-743}, doi = {}, year = {2013}, } Article: ase13tools-id13-p doi:
	Smaragdakis, Yannis	ASE '13: "SEDGE: Symbolic Example Data ..." SEDGE: Symbolic Example Data Generation for Dataflow Programs Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner (University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA) @InProceedings{ASE13p250, author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner}, title = {SEDGE: Symbolic Example Data Generation for Dataflow Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {250-249}, doi = {}, year = {2013}, } Article: ase13main-p108-p doi:
	Song, Dawn	ASE '13: "Blitz: Compositional Bounded ..." Blitz: Compositional Bounded Model Checking for Real-World Programs Chia Yuan Cho, Vijay D’Silva, and Dawn Song (University of California at Berkeley, USA) @InProceedings{ASE13p151, author = {Chia Yuan Cho and Vijay D’Silva and Dawn Song}, title = {Blitz: Compositional Bounded Model Checking for Real-World Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2013}, } Article: ase13main-p317-p doi:
	Steimann, Friedrich	ASE '13: "Model/Code Co-Refactoring: ..." Model/Code Co-Refactoring: An MDE Approach Jens von Pilgrim, Bastian Ulke, Andreas Thies, and Friedrich Steimann (Fernuniversität in Hagen, Germany) @InProceedings{ASE13p700, author = {Jens von Pilgrim and Bastian Ulke and Andreas Thies and Friedrich Steimann}, title = {Model/Code Co-Refactoring: An MDE Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {700-699}, doi = {}, year = {2013}, } Article: ase13newideas-p275-p doi:
	Stricker, Vanessa	ASE '13: "Measuring the Structural Complexity ..." Measuring the Structural Complexity of Feature Models Richard Pohl, Vanessa Stricker, and Klaus Pohl (University of Duisburg-Essen, Germany) @InProceedings{ASE13p470, author = {Richard Pohl and Vanessa Stricker and Klaus Pohl}, title = {Measuring the Structural Complexity of Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {470-469}, doi = {}, year = {2013}, } Article: ase13main-p209-p doi:
	Sumner, William N.	ASE '13: "Identifying Execution Points ..." Identifying Execution Points for Dynamic Analyses William N. Sumner and Xiangyu Zhang (Simon Fraser University, Canada; Purdue University, USA) @InProceedings{ASE13p96, author = {William N. Sumner and Xiangyu Zhang}, title = {Identifying Execution Points for Dynamic Analyses}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {96-95}, doi = {}, year = {2013}, } Article: ase13main-p388-p doi:
	Sun, Chengnian	ASE '13: "Constraint-Based Automatic ..." Constraint-Based Automatic Symmetry Detection Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE13p30, author = {Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong}, title = {Constraint-Based Automatic Symmetry Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {30-29}, doi = {}, year = {2013}, } Article: ase13main-p105-p doi: ASE '13: "TzuYu: Learning Stateful Typestates ..." TzuYu: Learning Stateful Typestates Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p448, author = {Hao Xiao and Jun Sun and Yang Liu and Shang-Wei Lin and Chengnian Sun}, title = {TzuYu: Learning Stateful Typestates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2013}, } Article: ase13main-p131-p doi:
	Sun, Jun	ASE '13: "Constraint-Based Automatic ..." Constraint-Based Automatic Symmetry Detection Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE13p30, author = {Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong}, title = {Constraint-Based Automatic Symmetry Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {30-29}, doi = {}, year = {2013}, } Article: ase13main-p105-p doi: ASE '13: "Automatically Partition Software ..." Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p338, author = {Yongzheng Wu and Jun Sun and Yang Liu and Jin Song Dong}, title = {Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {338-337}, doi = {}, year = {2013}, } Article: ase13main-p241-p doi: ASE '13: "TzuYu: Learning Stateful Typestates ..." TzuYu: Learning Stateful Typestates Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p448, author = {Hao Xiao and Jun Sun and Yang Liu and Shang-Wei Lin and Chengnian Sun}, title = {TzuYu: Learning Stateful Typestates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2013}, } Article: ase13main-p131-p doi:
	Sun, Yuyin	ASE '13: "Automatically Synthesizing ..." Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang and Yuyin Sun (University of Washington, USA) @InProceedings{ASE13p239, author = {Sai Zhang and Yuyin Sun}, title = {Automatically Synthesizing SQL Queries from Input-Output Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {239-238}, doi = {}, year = {2013}, } Article: ase13main-p030-p doi:
	Szatmári, Zoltán	ASE '13: "Towards Precise Metrics for ..." Towards Precise Metrics for Predicting Graph Query Performance Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, and István Ráth (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE13p437, author = {Benedek Izsó and Zoltán Szatmári and Gábor Bergmann and Ákos Horváth and István Ráth}, title = {Towards Precise Metrics for Predicting Graph Query Performance}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2013}, } Article: ase13main-p229-p doi:
	Taentzer, Gabriele	ASE '13: "Consistency-Preserving Edit ..." Consistency-Preserving Edit Scripts in Model Versioning Timo Kehrer, Udo Kelter, and Gabriele Taentzer (University of Siegen, Germany; Philipps-Universität Marburg, Germany) @InProceedings{ASE13p206, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {Consistency-Preserving Edit Scripts in Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {206-205}, doi = {}, year = {2013}, } Article: ase13main-p283-p doi:
	Tambe, Milind	ASE '13: "Randomizing Regression Tests ..." Randomizing Regression Tests using Game Theory Nupul Kukreja, William G. J. Halfond, and Milind Tambe (University of Southern California, USA) @InProceedings{ASE13p634, author = {Nupul Kukreja and William G. J. Halfond and Milind Tambe}, title = {Randomizing Regression Tests using Game Theory}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {634-633}, doi = {}, year = {2013}, } Article: ase13newideas-p357-p doi:
	Tan, Hee Beng Kuan	ASE '13: "A Scalable Approach for Malware ..." A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, and Bindu Madhavi Padmanabhuni (Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg) @InProceedings{ASE13p327, author = {Mahinthan Chandramohan and Hee Beng Kuan Tan and Lionel C. Briand and Lwin Khin Shar and Bindu Madhavi Padmanabhuni}, title = {A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2013}, } Article: ase13main-p121-p doi:
	Tan, Lin	ASE '13: "Personalized Defect Prediction ..." Personalized Defect Prediction Tian Jiang, Lin Tan, and Sunghun Kim (University of Waterloo, Canada; Hong Kong University of Science and Technology, China) @InProceedings{ASE13p294, author = {Tian Jiang and Lin Tan and Sunghun Kim}, title = {Personalized Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {294-293}, doi = {}, year = {2013}, } Article: ase13main-p054-p doi: ASE '13: "AutoComment: Mining Question ..." AutoComment: Mining Question and Answer Sites for Automatic Comment Generation Edmund Wong, Jinqiu Yang, and Lin Tan (University of Waterloo, Canada) @InProceedings{ASE13p580, author = {Edmund Wong and Jinqiu Yang and Lin Tan}, title = {AutoComment: Mining Question and Answer Sites for Automatic Comment Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2013}, } Article: ase13newideas-p086-p doi:
	Tanabe, Yoshinori	ASE '13: "Automated Verification of ..." Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, and Shinichi Honiden (University of Tokyo, Japan; Waseda University, Japan; National Institute of Informatics, Japan) @InProceedings{ASE13p173, author = {Yuta Maezawa and Hironori Washizaki and Yoshinori Tanabe and Shinichi Honiden}, title = {Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {173-172}, doi = {}, year = {2013}, } Article: ase13main-p167-p doi: ASE '13: "Software Model Checking for ..." Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto (AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE13p184, author = {Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto}, title = {Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {184-183}, doi = {}, year = {2013}, } Article: ase13main-p102-p doi:
	Tang, Ching Hoo	ASE '13: "Automated Verification of ..." Automated Verification of Interactive Rule-Based Configuration Systems Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski (Siemens, Austria; Max-Planck-Institute for Informatics, Germany; Logic4Business, Germany) @InProceedings{ASE13p569, author = {Deepak Dhungana and Ching Hoo Tang and Christoph Weidenbach and Patrick Wischnewski}, title = {Automated Verification of Interactive Rule-Based Configuration Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {569-568}, doi = {}, year = {2013}, } Article: ase13experience-p201-p doi:
	Tasharofi, Samira	ASE '13: "Bita: Coverage-Guided, Automatic ..." Bita: Coverage-Guided, Automatic Testing of Actor Programs Samira Tasharofi, Michael Pradel, Yu Lin, and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland) @InProceedings{ASE13p129, author = {Samira Tasharofi and Michael Pradel and Yu Lin and Ralph E. Johnson}, title = {Bita: Coverage-Guided, Automatic Testing of Actor Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {129-128}, doi = {}, year = {2013}, } Article: ase13main-p289-p doi:
	Thies, Andreas	ASE '13: "Model/Code Co-Refactoring: ..." Model/Code Co-Refactoring: An MDE Approach Jens von Pilgrim, Bastian Ulke, Andreas Thies, and Friedrich Steimann (Fernuniversität in Hagen, Germany) @InProceedings{ASE13p700, author = {Jens von Pilgrim and Bastian Ulke and Andreas Thies and Friedrich Steimann}, title = {Model/Code Co-Refactoring: An MDE Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {700-699}, doi = {}, year = {2013}, } Article: ase13newideas-p275-p doi:
	Thung, Ferdian	ASE '13: "Automatic Recommendation of ..." Automatic Recommendation of API Methods from Feature Requests Ferdian Thung, Shaowei Wang, David Lo, and Julia Lawall (Singapore Management University, Singapore; Inria, France; Lip6, France) @InProceedings{ASE13p305, author = {Ferdian Thung and Shaowei Wang and David Lo and Julia Lawall}, title = {Automatic Recommendation of API Methods from Feature Requests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {305-304}, doi = {}, year = {2013}, } Article: ase13main-p347-p doi:
	Tiella, Roberto	ASE '13: "SBFR: A Search Based Approach ..." SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, and Paolo Tonella (Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA) @InProceedings{ASE13p622, author = {Fitsum Meshesha Kifetew and Wei Jin and Roberto Tiella and Alessandro Orso and Paolo Tonella}, title = {SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {622-621}, doi = {}, year = {2013}, } Article: ase13newideas-p126-p doi:
	Tilevich, Eli	ASE '13: "Cloud Twin: Native Execution ..." Cloud Twin: Native Execution of Android Applications on the Windows Phone Ethan Holder, Eeshan Shah, Mohammed Davoodi, and Eli Tilevich (Virginia Tech, USA) @InProceedings{ASE13p616, author = {Ethan Holder and Eeshan Shah and Mohammed Davoodi and Eli Tilevich}, title = {Cloud Twin: Native Execution of Android Applications on the Windows Phone}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {616-615}, doi = {}, year = {2013}, } Article: ase13newideas-p405-p doi:
	Tillmann, Nikolai	ASE '13: "Characteristic Studies of ..." Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann (North Carolina State University, USA; University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA) @InProceedings{ASE13p261, author = {Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann}, title = {Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2013}, } Article: ase13main-p049-p doi: ASE '13: "Pex4Fun: A Web-Based Environment ..." Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p748, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {748-747}, doi = {}, year = {2013}, } Article: ase13tools-id15-p doi:
	Tonella, Paolo	ASE '13: "SBFR: A Search Based Approach ..." SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, and Paolo Tonella (Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA) @InProceedings{ASE13p622, author = {Fitsum Meshesha Kifetew and Wei Jin and Roberto Tiella and Alessandro Orso and Paolo Tonella}, title = {SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {622-621}, doi = {}, year = {2013}, } Article: ase13newideas-p126-p doi: ASE '13: "Automated Inference of Classifications ..." Automated Inference of Classifications and Dependencies for Combinatorial Testing Cu Duy Nguyen and Paolo Tonella (Fondazione Bruno Kessler, Italy) @InProceedings{ASE13p640, author = {Cu Duy Nguyen and Paolo Tonella}, title = {Automated Inference of Classifications and Dependencies for Combinatorial Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {640-639}, doi = {}, year = {2013}, } Article: ase13newideas-p144-p doi:
	Tonetta, Stefano	ASE '13: "OCRA: A Tool for Checking ..." OCRA: A Tool for Checking the Refinement of Temporal Contracts Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta (Fondazione Bruno Kessler, Italy) @InProceedings{ASE13p720, author = {Alessandro Cimatti and Michele Dorigatti and Stefano Tonetta}, title = {OCRA: A Tool for Checking the Refinement of Temporal Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {720-719}, doi = {}, year = {2013}, } Article: ase13tools-id10-p doi:
	Trinidad, Pablo	ASE '13: "Multi-user Variability Configuration: ..." Multi-user Variability Configuration: A Game Theoretic Approach Jesús García-Galán, Pablo Trinidad, and Antonio Ruiz-Cortés (University of Seville, Spain) @InProceedings{ASE13p592, author = {Jesús García-Galán and Pablo Trinidad and Antonio Ruiz-Cortés}, title = {Multi-user Variability Configuration: A Game Theoretic Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {592-591}, doi = {}, year = {2013}, } Article: ase13newideas-p262-p doi:
	Ulke, Bastian	ASE '13: "Model/Code Co-Refactoring: ..." Model/Code Co-Refactoring: An MDE Approach Jens von Pilgrim, Bastian Ulke, Andreas Thies, and Friedrich Steimann (Fernuniversität in Hagen, Germany) @InProceedings{ASE13p700, author = {Jens von Pilgrim and Bastian Ulke and Andreas Thies and Friedrich Steimann}, title = {Model/Code Co-Refactoring: An MDE Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {700-699}, doi = {}, year = {2013}, } Article: ase13newideas-p275-p doi:
	Vanciu, Radu	ASE '13: "Finding Architectural Flaws ..." Finding Architectural Flaws using Constraints Radu Vanciu and Marwan Abi-Antoun (Wayne State University, USA) @InProceedings{ASE13p349, author = {Radu Vanciu and Marwan Abi-Antoun}, title = {Finding Architectural Flaws using Constraints}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {349-348}, doi = {}, year = {2013}, } Article: ase13main-p282-p doi:
	Vasudevan, Shobha	ASE '13: "Using Automatically Generated ..." Using Automatically Generated Invariants for Regression Testing and Bug Localization Parth Sagdeo, Nicholas Ewalt, Debjit Pal, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p652, author = {Parth Sagdeo and Nicholas Ewalt and Debjit Pal and Shobha Vasudevan}, title = {Using Automatically Generated Invariants for Regression Testing and Bug Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2013}, } Article: ase13newideas-p371-p doi:
	Veerappa, Varsha	ASE '13: "Assessing the Maturity of ..." Assessing the Maturity of Requirements through Argumentation: A Good Enough Approach Varsha Veerappa and Rachel Harrison (Oxford Brookes University, UK) @InProceedings{ASE13p688, author = {Varsha Veerappa and Rachel Harrison}, title = {Assessing the Maturity of Requirements through Argumentation: A Good Enough Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {688-687}, doi = {}, year = {2013}, } Article: ase13newideas-p200-p doi:
	Vo, Quoc Bao	ASE '13: "Smart Cloud Broker: Finding ..." Smart Cloud Broker: Finding Your Home in the Clouds Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, and Ryszard Kowalczyk (Swinburne University of Technology, Australia) @InProceedings{ASE13p716, author = {Mohan Baruwal Chhetri and Sergei Chichin and Quoc Bao Vo and Ryszard Kowalczyk}, title = {Smart Cloud Broker: Finding Your Home in the Clouds}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {716-715}, doi = {}, year = {2013}, } Article: ase13tools-id4-p doi:
	Wang, Chao	ASE '13: "Round-Up: Runtime Checking ..." Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures Lu Zhang, Arijit Chattopadhyay, and Chao Wang (Virginia Tech, USA) @InProceedings{ASE13p19, author = {Lu Zhang and Arijit Chattopadhyay and Chao Wang}, title = {Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: ase13main-p344-p doi: ASE '13: "CCmutator: A Mutation Generator ..." CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications Markus Kusano and Chao Wang (Virginia Tech, USA) @InProceedings{ASE13p740, author = {Markus Kusano and Chao Wang}, title = {CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {740-739}, doi = {}, year = {2013}, } Article: ase13tools-id1-p doi:
	Wang, Hai	ASE '13: "Towards Contextual and On-Demand ..." Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE13p514, author = {Gang Zhang and Xin Peng and Zhenchang Xing and Shihai Jiang and Hai Wang and Wenyun Zhao}, title = {Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {514-513}, doi = {}, year = {2013}, } Article: ase13experience-p097-p doi:
	Wang, Shaowei	ASE '13: "Automatic Recommendation of ..." Automatic Recommendation of API Methods from Feature Requests Ferdian Thung, Shaowei Wang, David Lo, and Julia Lawall (Singapore Management University, Singapore; Inria, France; Lip6, France) @InProceedings{ASE13p305, author = {Ferdian Thung and Shaowei Wang and David Lo and Julia Lawall}, title = {Automatic Recommendation of API Methods from Feature Requests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {305-304}, doi = {}, year = {2013}, } Article: ase13main-p347-p doi:
	Washizaki, Hironori	ASE '13: "Automated Verification of ..." Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, and Shinichi Honiden (University of Tokyo, Japan; Waseda University, Japan; National Institute of Informatics, Japan) @InProceedings{ASE13p173, author = {Yuta Maezawa and Hironori Washizaki and Yoshinori Tanabe and Shinichi Honiden}, title = {Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {173-172}, doi = {}, year = {2013}, } Article: ase13main-p167-p doi:
	Wąsowski, Andrzej	ASE '13: "Variability-Aware Performance ..." Variability-Aware Performance Prediction: A Statistical Learning Approach Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski (University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark) @InProceedings{ASE13p316, author = {Jianmei Guo and Krzysztof Czarnecki and Sven Apel and Norbert Siegmund and Andrzej Wąsowski}, title = {Variability-Aware Performance Prediction: A Statistical Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {316-315}, doi = {}, year = {2013}, } Article: ase13main-p002-p doi:
	Weidenbach, Christoph	ASE '13: "Automated Verification of ..." Automated Verification of Interactive Rule-Based Configuration Systems Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski (Siemens, Austria; Max-Planck-Institute for Informatics, Germany; Logic4Business, Germany) @InProceedings{ASE13p569, author = {Deepak Dhungana and Ching Hoo Tang and Christoph Weidenbach and Patrick Wischnewski}, title = {Automated Verification of Interactive Rule-Based Configuration Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {569-568}, doi = {}, year = {2013}, } Article: ase13experience-p201-p doi:
	Weimer, Westley	ASE '13: "Leveraging Program Equivalence ..." Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results Westley Weimer, Zachary P. Fry, and Stephanie Forrest (University of Virginia, USA; University of New Mexico, USA) @InProceedings{ASE13p371, author = {Westley Weimer and Zachary P. Fry and Stephanie Forrest}, title = {Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2013}, } Article: ase13main-p090-p doi:
	Weitl, Franz	ASE '13: "Software Model Checking for ..." Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto (AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE13p184, author = {Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto}, title = {Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {184-183}, doi = {}, year = {2013}, } Article: ase13main-p102-p doi:
	Wischnewski, Patrick	ASE '13: "Automated Verification of ..." Automated Verification of Interactive Rule-Based Configuration Systems Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski (Siemens, Austria; Max-Planck-Institute for Informatics, Germany; Logic4Business, Germany) @InProceedings{ASE13p569, author = {Deepak Dhungana and Ching Hoo Tang and Christoph Weidenbach and Patrick Wischnewski}, title = {Automated Verification of Interactive Rule-Based Configuration Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {569-568}, doi = {}, year = {2013}, } Article: ase13experience-p201-p doi:
	Wong, Edmund	ASE '13: "AutoComment: Mining Question ..." AutoComment: Mining Question and Answer Sites for Automatic Comment Generation Edmund Wong, Jinqiu Yang, and Lin Tan (University of Waterloo, Canada) @InProceedings{ASE13p580, author = {Edmund Wong and Jinqiu Yang and Lin Tan}, title = {AutoComment: Mining Question and Answer Sites for Automatic Comment Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2013}, } Article: ase13newideas-p086-p doi:
	Wu, Kun-Lung	ASE '13: "Testing Properties of Dataflow ..." Testing Properties of Dataflow Program Operators Zhihong Xu, Martin Hirzel, Gregg Rothermel, and Kun-Lung Wu (University of Nebraska-Lincoln, USA; IBM Research, USA) @InProceedings{ASE13p118, author = {Zhihong Xu and Martin Hirzel and Gregg Rothermel and Kun-Lung Wu}, title = {Testing Properties of Dataflow Program Operators}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {118-117}, doi = {}, year = {2013}, } Article: ase13main-p028-p doi:
	Wu, Yongzheng	ASE '13: "Automatically Partition Software ..." Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong (Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p338, author = {Yongzheng Wu and Jun Sun and Yang Liu and Jin Song Dong}, title = {Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {338-337}, doi = {}, year = {2013}, } Article: ase13main-p241-p doi:
	Wüest, Dustin	ASE '13: "Semi-automatic Generation ..." Semi-automatic Generation of Metamodels from Model Sketches Dustin Wüest, Norbert Seyff, and Martin Glinz (University of Zurich, Switzerland) @InProceedings{ASE13p682, author = {Dustin Wüest and Norbert Seyff and Martin Glinz}, title = {Semi-automatic Generation of Metamodels from Model Sketches}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {682-681}, doi = {}, year = {2013}, } Article: ase13newideas-p320-p doi:
	Xiao, Hao	ASE '13: "TzuYu: Learning Stateful Typestates ..." TzuYu: Learning Stateful Typestates Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun (Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore) @InProceedings{ASE13p448, author = {Hao Xiao and Jun Sun and Yang Liu and Shang-Wei Lin and Chengnian Sun}, title = {TzuYu: Learning Stateful Typestates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {448-447}, doi = {}, year = {2013}, } Article: ase13main-p131-p doi:
	Xiao, Xusheng	ASE '13: "Characteristic Studies of ..." Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann (North Carolina State University, USA; University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA) @InProceedings{ASE13p261, author = {Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann}, title = {Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2013}, } Article: ase13main-p049-p doi:
	Xie, Tao	ASE '13: "Software Analytics for Incident ..." Software Analytics for Incident Management of Online Services: An Experience Report Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie (Microsoft Research, China; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p492, author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie}, title = {Software Analytics for Incident Management of Online Services: An Experience Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {492-491}, doi = {}, year = {2013}, } Article: ase13experience-p022-p doi: ASE '13: "Characteristic Studies of ..." Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann (North Carolina State University, USA; University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA) @InProceedings{ASE13p261, author = {Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann}, title = {Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2013}, } Article: ase13main-p049-p doi: ASE '13: "Pex4Fun: A Web-Based Environment ..." Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p748, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {748-747}, doi = {}, year = {2013}, } Article: ase13tools-id15-p doi:
	Xing, Zhenchang	ASE '13: "Towards Contextual and On-Demand ..." Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE13p514, author = {Gang Zhang and Xin Peng and Zhenchang Xing and Shihai Jiang and Hai Wang and Wenyun Zhao}, title = {Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {514-513}, doi = {}, year = {2013}, } Article: ase13experience-p097-p doi:
	Xu, Chang	ASE '13: "Environment Rematching: Toward ..." Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lü (Nanjing University, China) @InProceedings{ASE13p610, author = {Chang Xu and Wenhua Yang and Xiaoxing Ma and Chun Cao and Jian Lü}, title = {Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {610-609}, doi = {}, year = {2013}, } Article: ase13newideas-p036-p doi:
	Xu, Dongyan	ASE '13: "PIEtrace: Platform Independent ..." PIEtrace: Platform Independent Executable Trace Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA) @InProceedings{ASE13p63, author = {Yonghwi Kwon and Xiangyu Zhang and Dongyan Xu}, title = {PIEtrace: Platform Independent Executable Trace}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {63-62}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p055-p doi:
	Xu, Guoqing	ASE '13: "Improving Efficiency of Dynamic ..." Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries Vijay Krishna Palepu, Guoqing Xu, and James A. Jones (University of California at Irvine, USA) @InProceedings{ASE13p74, author = {Vijay Krishna Palepu and Guoqing Xu and James A. Jones}, title = {Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {74-73}, doi = {}, year = {2013}, } Article: ase13main-p295-p doi:
	Xu, Zhihong	ASE '13: "Testing Properties of Dataflow ..." Testing Properties of Dataflow Program Operators Zhihong Xu, Martin Hirzel, Gregg Rothermel, and Kun-Lung Wu (University of Nebraska-Lincoln, USA; IBM Research, USA) @InProceedings{ASE13p118, author = {Zhihong Xu and Martin Hirzel and Gregg Rothermel and Kun-Lung Wu}, title = {Testing Properties of Dataflow Program Operators}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {118-117}, doi = {}, year = {2013}, } Article: ase13main-p028-p doi:
	Yamamoto, Mitsuharu	ASE '13: "Software Model Checking for ..." Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto (AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE13p184, author = {Cyrille Artho and Masami Hagiya and Richard Potter and Yoshinori Tanabe and Franz Weitl and Mitsuharu Yamamoto}, title = {Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {184-183}, doi = {}, year = {2013}, } Article: ase13main-p102-p doi:
	Yan, Jun	ASE '13: "Characterizing and Detecting ..." Characterizing and Detecting Resource Leaks in Android Applications Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, and Yanli Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE13p404, author = {Chaorong Guo and Jian Zhang and Jun Yan and Zhiqiang Zhang and Yanli Zhang}, title = {Characterizing and Detecting Resource Leaks in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {404-403}, doi = {}, year = {2013}, } Article: ase13main-p360-p doi:
	Yang, Jinqiu	ASE '13: "AutoComment: Mining Question ..." AutoComment: Mining Question and Answer Sites for Automatic Comment Generation Edmund Wong, Jinqiu Yang, and Lin Tan (University of Waterloo, Canada) @InProceedings{ASE13p580, author = {Edmund Wong and Jinqiu Yang and Lin Tan}, title = {AutoComment: Mining Question and Answer Sites for Automatic Comment Generation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {580-579}, doi = {}, year = {2013}, } Article: ase13newideas-p086-p doi:
	Yang, Wenhua	ASE '13: "Environment Rematching: Toward ..." Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lü (Nanjing University, China) @InProceedings{ASE13p610, author = {Chang Xu and Wenhua Yang and Xiaoxing Ma and Chun Cao and Jian Lü}, title = {Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {610-609}, doi = {}, year = {2013}, } Article: ase13newideas-p036-p doi:
	Yoshihira, Kenji	ASE '13: "iProbe: A Lightweight User-Level ..." iProbe: A Lightweight User-Level Dynamic Instrumentation Tool Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang (NEC Labs, USA) @InProceedings{ASE13p760, author = {Nipun Arora and Hui Zhang and Junghwan Rhee and Kenji Yoshihira and Guofei Jiang}, title = {iProbe: A Lightweight User-Level Dynamic Instrumentation Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {760-759}, doi = {}, year = {2013}, } Article: ase13tools-id24-p doi:
	Zhang, Dongmei	ASE '13: "Software Analytics for Incident ..." Software Analytics for Incident Management of Online Services: An Experience Report Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie (Microsoft Research, China; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p492, author = {Jian-Guang Lou and Qingwei Lin and Rui Ding and Qiang Fu and Dongmei Zhang and Tao Xie}, title = {Software Analytics for Incident Management of Online Services: An Experience Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {492-491}, doi = {}, year = {2013}, } Article: ase13experience-p022-p doi:
	Zhang, Gang	ASE '13: "Towards Contextual and On-Demand ..." Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE13p514, author = {Gang Zhang and Xin Peng and Zhenchang Xing and Shihai Jiang and Hai Wang and Wenyun Zhao}, title = {Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {514-513}, doi = {}, year = {2013}, } Article: ase13experience-p097-p doi:
	Zhang, Hui	ASE '13: "iProbe: A Lightweight User-Level ..." iProbe: A Lightweight User-Level Dynamic Instrumentation Tool Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang (NEC Labs, USA) @InProceedings{ASE13p760, author = {Nipun Arora and Hui Zhang and Junghwan Rhee and Kenji Yoshihira and Guofei Jiang}, title = {iProbe: A Lightweight User-Level Dynamic Instrumentation Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {760-759}, doi = {}, year = {2013}, } Article: ase13tools-id24-p doi:
	Zhang, Jian	ASE '13: "Characterizing and Detecting ..." Characterizing and Detecting Resource Leaks in Android Applications Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, and Yanli Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE13p404, author = {Chaorong Guo and Jian Zhang and Jun Yan and Zhiqiang Zhang and Yanli Zhang}, title = {Characterizing and Detecting Resource Leaks in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {404-403}, doi = {}, year = {2013}, } Article: ase13main-p360-p doi:
	Zhang, Lingming	ASE '13: "Operator-Based and Random ..." Operator-Based and Random Mutant Selection: Better Together Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE13p107, author = {Lingming Zhang and Milos Gligoric and Darko Marinov and Sarfraz Khurshid}, title = {Operator-Based and Random Mutant Selection: Better Together}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2013}, } Article: ase13main-p369-p doi:
	Zhang, Lu	ASE '13: "Round-Up: Runtime Checking ..." Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures Lu Zhang, Arijit Chattopadhyay, and Chao Wang (Virginia Tech, USA) @InProceedings{ASE13p19, author = {Lu Zhang and Arijit Chattopadhyay and Chao Wang}, title = {Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: ase13main-p344-p doi:
	Zhang, Sai	ASE '13: "Automatically Synthesizing ..." Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang and Yuyin Sun (University of Washington, USA) @InProceedings{ASE13p239, author = {Sai Zhang and Yuyin Sun}, title = {Automatically Synthesizing SQL Queries from Input-Output Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {239-238}, doi = {}, year = {2013}, } Article: ase13main-p030-p doi:
	Zhang, Shao Jie	ASE '13: "Constraint-Based Automatic ..." Constraint-Based Automatic Symmetry Detection Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong (Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore) @InProceedings{ASE13p30, author = {Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong}, title = {Constraint-Based Automatic Symmetry Detection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {30-29}, doi = {}, year = {2013}, } Article: ase13main-p105-p doi:
	Zhang, Xiangyu	ASE '13: "PIEtrace: Platform Independent ..." PIEtrace: Platform Independent Executable Trace Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA) @InProceedings{ASE13p63, author = {Yonghwi Kwon and Xiangyu Zhang and Dongyan Xu}, title = {PIEtrace: Platform Independent Executable Trace}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {63-62}, doi = {}, year = {2013}, } ACM SIGSOFT Distinguished Paper Award Article: ase13main-p055-p doi: ASE '13: "Identifying Execution Points ..." Identifying Execution Points for Dynamic Analyses William N. Sumner and Xiangyu Zhang (Simon Fraser University, Canada; Purdue University, USA) @InProceedings{ASE13p96, author = {William N. Sumner and Xiangyu Zhang}, title = {Identifying Execution Points for Dynamic Analyses}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {96-95}, doi = {}, year = {2013}, } Article: ase13main-p388-p doi:
	Zhang, Yanli	ASE '13: "Characterizing and Detecting ..." Characterizing and Detecting Resource Leaks in Android Applications Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, and Yanli Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE13p404, author = {Chaorong Guo and Jian Zhang and Jun Yan and Zhiqiang Zhang and Yanli Zhang}, title = {Characterizing and Detecting Resource Leaks in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {404-403}, doi = {}, year = {2013}, } Article: ase13main-p360-p doi:
	Zhang, Zhiqiang	ASE '13: "Characterizing and Detecting ..." Characterizing and Detecting Resource Leaks in Android Applications Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, and Yanli Zhang (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China) @InProceedings{ASE13p404, author = {Chaorong Guo and Jian Zhang and Jun Yan and Zhiqiang Zhang and Yanli Zhang}, title = {Characterizing and Detecting Resource Leaks in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {404-403}, doi = {}, year = {2013}, } Article: ase13main-p360-p doi:
	Zhao, Liping	ASE '13: "TRAM: A Tool for Transforming ..." TRAM: A Tool for Transforming Textual Requirements into Analysis Models Keletso J. Letsholo, Liping Zhao, and Erol-Valeriu Chioasca (University of Manchester, UK) @InProceedings{ASE13p756, author = {Keletso J. Letsholo and Liping Zhao and Erol-Valeriu Chioasca}, title = {TRAM: A Tool for Transforming Textual Requirements into Analysis Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {756-755}, doi = {}, year = {2013}, } Article: ase13tools-id23-p doi:
	Zhao, Wenyun	ASE '13: "Towards Contextual and On-Demand ..." Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao (Fudan University, China; Nanyang Technological University, Singapore) @InProceedings{ASE13p514, author = {Gang Zhang and Xin Peng and Zhenchang Xing and Shihai Jiang and Hai Wang and Wenyun Zhao}, title = {Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {514-513}, doi = {}, year = {2013}, } Article: ase13experience-p097-p doi:
	Ziarek, Lukasz	ASE '13: "Flow Permissions for Android ..." Flow Permissions for Android Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek (SUNY Buffalo, USA) @InProceedings{ASE13p670, author = {Shashank Holavanalli and Don Manuel and Vishwas Nanjundaswamy and Brian Rosenberg and Feng Shen and Steven Y. Ko and Lukasz Ziarek}, title = {Flow Permissions for Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {670-669}, doi = {}, year = {2013}, } Article: ase13newideas-p296-p doi: