ASE 2016
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
Powered by
Conference Publishing Consulting

31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 3–7, 2016, Singapore, Singapore

ASE 2016 – Author Index

Contents - Abstracts - Authors

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

Abdelrazek, Mohamed ASE'16-DEMO: "TeeVML: Tool Support for Semi-automatic ..."
Abdul Ghafoor, Maryam ASE'16: "Symbolic Execution of Stored ..."
Aguirre, Nazareno ASE'16: "Goal-Conflict Detection Based ..."
Alipour, Mohammad Amin ASE'16: "Evaluating Non-adequate Test-Case ..."
Almhana, Rafi ASE'16: "Recommending Relevant Classes ..."
Alperovich, Simon ASE'16-DEMO: "An Extensible Framework for ..."
Alrajeh, Dalal ASE'16: "Goal-Conflict Detection Based ..."
Alshanqiti, Abdullah ASE'16-DEMO: "Visual Contract Extractor: ..."
Amann, Sven ASE'16: "Evaluating the Evaluations ..."
Anjorin, Anthony ASE'16: "Traceability Maintenance: ..."
Apinis, Kalmer ASE'16: "Static Race Detection for ..."
Appelt, Dennis ASE'16: "SOFIA: An Automated Security ..."
Artho, Cyrille ASE'16: "Greedy Combinatorial Test ..."
Asenov, Dimitar ASE'16: "The IDE as a Scriptable Information ..."
Avazpour, Iman ASE'16-DEMO: "TeeVML: Tool Support for Semi-automatic ..."
Babur, Önder ASE'16-DOC: "Statistical Analysis of Large ..."
Bae, Doo-Hwan ASE'16: "Automated Model-Based Android ..."
Baek, Young-Min ASE'16: "Automated Model-Based Android ..."
Bai, Yanwei ASE'16: "Supporting Oracle Construction ..."
Baudry, Benoit ASE'16: "Automatic Microbenchmark Generation ..."
Bavota, Gabriele ASE'16: "An Empirical Investigation ..."
Ben Abdessalem, Raja ASE'16: "Testing Advanced Driver Assistance ..."
Biere, Armin ASE'16: "Greedy Combinatorial Test ..."
Binkley, David ASE'16: "Practical Guidelines for Change ..." ASE'16: "An Empirical Study on Dependence ..."
Bird, Christian ASE'16: "What Developers Want and Need ..."
Bissyandé, Tegawendé F. ASE'16-DEMO: "Reflection-Aware Static Analysis ..."
Bocić, Ivan ASE'16: "Finding Access Control Bugs ..."
Böhme, Marcel ASE'16: "Model-Based Whitebox Fuzzing ..."
Briand, Lionel C. ASE'16: "Testing Advanced Driver Assistance ..." ASE'16: "SOFIA: An Automated Security ..."
Brown, David Bingham ASE'16: "Optimizing Customized Program ..."
Bu, Lei ASE'16: "Symbolic Execution of Complex ..."
Bubel, Richard ASE'16-DEMO: "The Interactive Verification ..." ASE'16: "An Empirical Evaluation of ..."
Bultan, Tevfik ASE'16: "Finding Access Control Bugs ..."
Cai, Haipeng ASE'16: "DistIA: A Cost-Effective Dynamic ..."
Cai, Yan ASE'16: "Radius Aware Probabilistic ..."
Castle, Matthew D. ASE'16: "Automatic Test Image Generation ..."
Castro, Pablo ASE'16: "Goal-Conflict Detection Based ..."
Ceccato, Mariano ASE'16: "SOFIA: An Automated Security ..."
Chang, Jialiang ASE'16-DEMO: "GUICat: GUI Testing as a Service ..."
Chechik, Marsha ASE'16: "Precise Semantic History Slicing ..."
Chen, Chunyang ASE'16-DEMO: "SimilarTech: Automatically ..." ASE'16: "Learning a Dual-Language Vector ..."
Chen, Guibin ASE'16: "Learning a Dual-Language Vector ..." ASE'16: "Predicting Semantically Linkable ..."
Chen, Junjie ASE'16: "Supporting Oracle Construction ..."
Chen, Junliang ASE'16-DEMO: "An End-User Oriented Tool ..."
Chen, Xin ASE'16: "Symbolic Execution of Complex ..."
Chen, Yuting ASE'16: "LockPeeker: Detecting Latent ..."
Chen, Zhenyu ASE'16: "Multi-objective Test Report ..."
Cheng, Bo ASE'16-DEMO: "An End-User Oriented Tool ..."
Cheng, Li ASE'16: "Privacy Preserving via Interval ..."
Cheng, Lin ASE'16-DEMO: "GUICat: GUI Testing as a Service ..."
Cheng, Xiao ASE'16: "Mining Revision Histories ..."
Cheung, Shing-Chi ASE'16: "Taming Android Fragmentation: ..." ASE'16: "Locus: Locating Bugs from ..."
Choi, Eun-Hye ASE'16: "Greedy Combinatorial Test ..."
Chollak, Devin ASE'16: "Bugram: Bug Detection with ..."
Christakis, Maria ASE'16: "What Developers Want and Need ..."
Cito, Jürgen ASE'16-DOC: "Developer Targeted Analytics: ..." ASE'16: "Battery-Aware Transformations ..."
Clause, James ASE'16: "Towards Automatically Generating ..."
Collins, Jason A. ASE'16-DEMO: "CORRECT: Code Reviewer Recommendation ..."
Combemale, Benoit ASE'16: "Automatic Microbenchmark Generation ..."
Cui, Qiang ASE'16: "Local-Based Active Classification ..."
Degiovanni, Renzo ASE'16: "Goal-Conflict Detection Based ..."
De Lara, Juan ASE'16: "DSL-Maps: From Requirements ..."
De Lucia, Andrea ASE'16: "An Empirical Investigation ..."
Demeyer, Serge ASE'16: "Fine-Tuning Spectrum Based ..."
Demuth, Andreas ASE'16: "Efficient Detection of Inconsistencies ..."
Deng, Xi ASE'16-DEMO: "Relda2: An Effective Static ..."
Di Alesio, Stefano ASE'16: "Practical Guidelines for Change ..."
Dig, Danny ASE'16: "Usage, Costs, and Benefits ..."
Di Penta, Massimiliano ASE'16: "An Empirical Investigation ..."
Dolby, Julian ASE'16: "HybriDroid: Static Analysis ..."
Dotzler, Georg ASE'16: "Move-Optimized Source Code ..."
Egyed, Alexander ASE'16: "Efficient Detection of Inconsistencies ..."
Erdweg, Sebastian ASE'16-DEMO: "An Extensible Framework for ..." ASE'16: "IncA: A DSL for the Definition ..."
Fang, Chunrong ASE'16: "Multi-objective Test Report ..."
Faria, João Pascoal ASE'16-DEMO: "ProcessPAIR: A Tool for Automated ..."
Feng, Yang ASE'16: "Multi-objective Test Report ..."
Feng, Yimeng ASE'16-DEMO: "An End-User Oriented Tool ..."
Fischer, Bernd ASE'16-DEMO: "CVExplorer: Identifying Candidate ..."
Fu, Wei ASE'16: "Too Much Automation? The Bellwether ..."
Gao, Fengjuan ASE'16-DEMO: "BovInspector: Automatic Inspection ..."
Gilligan, Christopher A. ASE'16: "Automatic Test Image Generation ..."
Gopinath, Rahul ASE'16: "Evaluating Non-adequate Test-Case ..."
Greene, Gillian J. ASE'16-DEMO: "CVExplorer: Identifying Candidate ..."
Groce, Alex ASE'16: "Evaluating Non-adequate Test-Case ..."
Gruhn, Volker ASE'16: "Automatically Recommending ..."
Grundy, John ASE'16-DEMO: "An Automated Collaborative ..." ASE'16-DEMO: "TeeVML: Tool Support for Semi-automatic ..."
Gu, Jingxiao ASE'16: "CrowdService: Serving the ..."
Gu, Ming ASE'16-DEMO: "Model Driven Design of Heterogeneous ..." ASE'16-DEMO: "Verifying Simulink Stateflow ..."
Gu, Tianxiao ASE'16: "Automatic Runtime Recovery ..."
Guo, Shengjian ASE'16: "Conc-iSE: Incremental Symbolic ..."
Guo, Yun ASE'16: "Applying Combinatorial Test ..."
Gupta, Atul ASE'16-DEMO: "AnModeler: A Tool for Generating ..." ASE'16: "Identifying Domain Elements ..."
Hähnle, Reiner ASE'16-DEMO: "The Interactive Verification ..." ASE'16: "An Empirical Evaluation of ..."
Hannebauer, Christoph ASE'16: "Automatically Recommending ..."
Hao, Dan ASE'16: "Supporting Oracle Construction ..."
Harman, Mark ASE'16: "An Empirical Study on Dependence ..."
Hassan, Wajih Ul ASE'16: "How Good Are the Specs? A ..."
Heckel, Reiko ASE'16-DEMO: "Visual Contract Extractor: ..."
Hentschel, Martin ASE'16-DEMO: "The Interactive Verification ..." ASE'16: "An Empirical Evaluation of ..."
Hill, Emily ASE'16: "Towards Automatically Generating ..."
Hilton, Michael ASE'16: "Usage, Costs, and Benefits ..."
Höschele, Matthias ASE'16: "Mining Input Grammars from ..."
Hu, Yi-Qi ASE'16: "Symbolic Execution of Complex ..."
Huang, Kai ASE'16: "Usage, Costs, and Benefits ..."
Islam, Syed ASE'16: "An Empirical Study on Dependence ..."
Jana, Suman ASE'16: "APEx: Automated Inference ..."
Jiang, Lingxiao ASE'16: "Mining Revision Histories ..."
Jiang, Yu ASE'16-DEMO: "Model Driven Design of Heterogeneous ..." ASE'16-DEMO: "Verifying Simulink Stateflow ..."
Jing, Xiao-Yuan ASE'16: "Privacy Preserving via Interval ..."
Jones, James A. ASE'16: "Multi-objective Test Report ..."
Kästner, Christian ASE'16: "On Essential Configuration ..."
Kamalrudin, Massila ASE'16-DEMO: "An Automated Collaborative ..."
Kang, Yuan ASE'16: "APEx: Automated Inference ..."
Kehrer, Timo ASE'16-DEMO: "Visual Contract Extractor: ..."
Keng, Joseph Chan Joo ASE'16-DOC: "Automated Testing and Notification ..."
Kessentini, Marouane ASE'16: "Recommending Relevant Classes ..."
Khan, Haider Riaz ASE'16: "Applying Combinatorial Test ..."
Kitamura, Takashi ASE'16: "Greedy Combinatorial Test ..."
Klein, Jacques ASE'16-DEMO: "Reflection-Aware Static Analysis ..."
Kowark, Thomas ASE'16-DEMO: "Lightweight Collection and ..."
Krinke, Jens ASE'16: "An Empirical Study on Dependence ..."
Krishna, Rahul ASE'16: "Too Much Automation? The Bellwether ..."
Kroening, Daniel ASE'16: "Sound Static Deadlock Analysis ..."
Kulcsár, Géza ASE'16: "Continuous Detection of Design ..."
Kusano, Markus ASE'16: "Conc-iSE: Incremental Symbolic ..."
Laghari, Gulsher ASE'16: "Fine-Tuning Spectrum Based ..."
Lal, Akash ASE'16: "Inferring Annotations for ..."
Le, Xuan-Bach D. ASE'16-DOC: "Towards Efficient and Effective ..."
Lee, Sungho ASE'16: "HybriDroid: Static Analysis ..."
Legunsen, Owolabi ASE'16: "How Good Are the Specs? A ..."
Lei, Yu ASE'16: "Applying Combinatorial Test ..."
Li, Li ASE'16-DEMO: "Reflection-Aware Static Analysis ..."
Li, Nan ASE'16: "Applying Combinatorial Test ..."
Li, Shanping ASE'16: "Predicting Semantically Linkable ..."
Li, Xin ASE'16: "Symbolic Execution of Complex ..."
Li, Xuandong ASE'16-DEMO: "BovInspector: Automatic Inspection ..." ASE'16: "Symbolic Execution of Complex ..."
Li, Yi ASE'16: "Precise Semantic History Slicing ..."
Liang, Yongjuan ASE'16: "Symbolic Execution of Complex ..."
Liblit, Ben ASE'16: "Array Length Inference for ..." ASE'16: "Optimizing Customized Program ..."
Limmer, Tobias ASE'16-DEMO: "MACKE: Compositional Analysis ..."
Lin, Ziyi ASE'16: "LockPeeker: Detecting Latent ..."
Linderoth, Jeff ASE'16: "Optimizing Customized Program ..."
Liu, Han ASE'16-DEMO: "Model Driven Design of Heterogeneous ..."
Liu, Jian ASE'16-DEMO: "TeeVML: Tool Support for Semi-automatic ..."
Liu, Jierui ASE'16-DEMO: "Relda2: An Effective Static ..."
Liu, Jingshu ASE'16: "Applying Combinatorial Test ..."
Liu, Peng ASE'16: "StraightTaint: Decoupled Offline ..."
Liu, Yepang ASE'16: "Taming Android Fragmentation: ..."
Lochau, Malte ASE'16: "Continuous Detection of Design ..."
Lü, Jian ASE'16: "Automatic Runtime Recovery ..."
Ma, Xiaoxing ASE'16: "Automatic Runtime Recovery ..."
Maas, Alisa J. ASE'16: "Array Length Inference for ..."
Mahmood, Muhammad Suleman ASE'16: "Symbolic Execution of Stored ..."
Maoz, Shahar ASE'16: "Visualization of Combinatorial ..."
Marinov, Darko ASE'16: "Evaluating Non-adequate Test-Case ..." ASE'16: "Usage, Costs, and Benefits ..." ASE'16: "How Good Are the Specs? A ..."
Maro, Salome ASE'16: "Traceability Maintenance: ..."
Matthies, Christoph ASE'16-DEMO: "Lightweight Collection and ..."
Mazinanian, Davood ASE'16: "Migrating Cascading Style ..."
Mei, Hong ASE'16: "Supporting Oracle Construction ..."
Meinicke, Jens ASE'16: "On Essential Configuration ..."
Menzies, Tim ASE'16: "Too Much Automation? The Bellwether ..."
Mezini, Mira ASE'16: "Evaluating the Evaluations ..."
Ming, Jiang ASE'16: "StraightTaint: Decoupled Offline ..."
Mkaouer, Wiem ASE'16: "Recommending Relevant Classes ..."
Moketar, Nor Aiza ASE'16-DEMO: "An Automated Collaborative ..."
Moonen, Leon ASE'16: "Practical Guidelines for Change ..."
Mougouei, Davoud ASE'16-DOC: "Factoring Requirement Dependencies ..."
Movshovitz-Attias, Dana ASE'16: "Bugram: Bug Detection with ..."
Müller, Peter ASE'16: "The IDE as a Scriptable Information ..."
Murgia, Alessandro ASE'16: "Fine-Tuning Spectrum Based ..."
Nadi, Sarah ASE'16: "Evaluating the Evaluations ..."
Nazaré, Henrique ASE'16: "Array Length Inference for ..."
Neelakandan, Naveen ASE'16: "Optimizing Customized Program ..."
Nejati, Shiva ASE'16: "Testing Advanced Driver Assistance ..."
Nguyen, Cu D. ASE'16: "SOFIA: An Automated Security ..."
Nguyen, Tam The ASE'16: "Phrase-Based Extraction of ..."
Nguyen, Tung Thanh ASE'16: "Phrase-Based Extraction of ..."
Nishi, Masataka ASE'16: "Towards Bounded Model Checking ..."
Niu, Meng ASE'16-DEMO: "An End-User Oriented Tool ..."
Nuseibeh, Bashar ASE'16: "CrowdService: Serving the ..."
Ochoa, Martín ASE'16-DEMO: "MACKE: Compositional Analysis ..."
Octeau, Damien ASE'16-DEMO: "Reflection-Aware Static Analysis ..."
Ognawala, Saahil ASE'16-DEMO: "MACKE: Compositional Analysis ..."
Ohmann, Peter ASE'16: "Optimizing Customized Program ..."
Oliveto, Rocco ASE'16: "An Empirical Investigation ..."
Ouni, Ali ASE'16: "Recommending Relevant Classes ..."
Palomba, Fabio ASE'16: "An Empirical Investigation ..."
Patalas, Michael ASE'16: "Automatically Recommending ..."
Patrick, Matthew ASE'16: "Automatic Test Image Generation ..."
Pavlinovic, Zvonimir ASE'16: "Inferring Annotations for ..."
Peldszus, Sven ASE'16: "Continuous Detection of Design ..."
Peng, Xin ASE'16: "CrowdService: Serving the ..."
Peng, Zhiming ASE'16: "Mining Revision Histories ..."
Pescador, Ana ASE'16: "DSL-Maps: From Requirements ..."
Pham, Hung Viet ASE'16: "Phrase-Based Extraction of ..."
Pham, Van-Thuan ASE'16: "Model-Based Whitebox Fuzzing ..."
Philippsen, Michael ASE'16: "Move-Optimized Source Code ..."
Plattner, Hasso ASE'16-DEMO: "Lightweight Collection and ..."
Poetzl, Daniel ASE'16: "Sound Static Deadlock Analysis ..."
Poshyvanyk, Denys ASE'16: "Deep Learning Code Fragments ..." ASE'16: "An Empirical Investigation ..."
Pretschner, Alexander ASE'16-DEMO: "MACKE: Compositional Analysis ..."
Proksch, Sebastian ASE'16: "Evaluating the Evaluations ..."
Püschel, Markus ASE'16-KEY: "Program Generation for Performance ..."
Qi, Fumin ASE'16: "Privacy Preserving via Interval ..."
Qian, Hong ASE'16: "Symbolic Execution of Complex ..."
Rahman, Mohammad Masudur ASE'16-DEMO: "CORRECT: Code Reviewer Recommendation ..." ASE'16: "QUICKAR: Automatic Query Reformulation ..."
Rajan, Ajitha ASE'16: "Test Case Permutation to Improve ..."
Ray, Baishakhi ASE'16: "APEx: Automated Inference ..."
Raza, Mushtaq ASE'16-DEMO: "ProcessPAIR: A Tool for Automated ..."
Redl, Jesse ASE'16-DEMO: "CORRECT: Code Reviewer Recommendation ..."
Ricci, Nicolas ASE'16: "Goal-Conflict Detection Based ..."
Riedl-Ehrenleitner, Markus ASE'16: "Efficient Detection of Inconsistencies ..."
Rinard, Martin ASE'16: "Battery-Aware Transformations ..."
Robinson, Mark ASE'16-DEMO: "An Automated Collaborative ..."
Rodriguez-Cancio, Marcelino ASE'16: "Automatic Microbenchmark Generation ..."
Rolfsnes, Thomas ASE'16: "Practical Guidelines for Change ..."
Rosenblum, David S. ASE'16-KEY: "The Power of Probabilistic ..."
Roşu, Grigore ASE'16: "How Good Are the Specs? A ..."
Rõtov, Vootele ASE'16: "Static Race Detection for ..."
Roy, Chanchal K. ASE'16-DEMO: "CORRECT: Code Reviewer Recommendation ..." ASE'16: "QUICKAR: Automatic Query Reformulation ..."
Roychoudhury, Abhik ASE'16: "Model-Based Whitebox Fuzzing ..."
Rubin, Julia ASE'16: "Battery-Aware Transformations ..." ASE'16: "Precise Semantic History Slicing ..."
Ryu, Sukyoung ASE'16: "HybriDroid: Static Analysis ..."
Saake, Gunter ASE'16: "On Essential Configuration ..."
Schrammel, Peter ASE'16: "Sound Static Deadlock Analysis ..."
Schulte, Wolfram ASE'16-KEY: "Changing Microsoft's Build: ..."
Schulze, Sandro ASE'16: "Continuous Detection of Design ..."
Schwägerl, Felix ASE'16-DEMO: "SuperMod: Tool Support for ..."
Seidl, Helmut ASE'16: "Static Race Detection for ..."
Sharma, Rahul ASE'16: "Inferring Annotations for ..."
Shi, August ASE'16: "Evaluating Non-adequate Test-Case ..."
Siddiqui, Junaid Haroon ASE'16: "Symbolic Execution of Stored ..."
Sidek, Safiah ASE'16-DEMO: "An Automated Collaborative ..."
Stanley-Marbell, Phillip ASE'16: "Battery-Aware Transformations ..."
Steghöfer, Jan-Philipp ASE'16: "Traceability Maintenance: ..."
Stifter, Thomas ASE'16: "Testing Advanced Driver Assistance ..."
Stratis, Panagiotis ASE'16: "Test Case Permutation to Improve ..."
Stünkel, Sebastian ASE'16: "Automatically Recommending ..."
Stutt, Richard O. J. H. ASE'16: "Automatic Test Image Generation ..."
Su, Zhendong ASE'16: "Automatic Runtime Recovery ..."
Sun, Chengnian ASE'16: "Automatic Runtime Recovery ..."
Sun, Jiaguang ASE'16-DEMO: "Model Driven Design of Heterogeneous ..." ASE'16-DEMO: "Verifying Simulink Stateflow ..."
Sun, Jun ASE'16: "CrowdService: Serving the ..."