Powered by
Conference Publishing Consulting

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), August 18–26, 2013, Saint Petersburg, Russia

ESEC/FSE 2013 – 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 V W X Y Z

Acher, Mathieu ESEC/FSE'13: "Feature Model Extraction ..."
Albert, Elvira ESEC/FSE'13-TOOLS: "aPET: A Test Case ..."
Amornborvornwong, Sorawit ESEC/FSE'13: "Improving Trace ..."
Apel, Sven ESEC/FSE'13: "Scalable Analysis ..."
Arenas, Puri ESEC/FSE'13-TOOLS: "aPET: A Test Case ..."
Arora, Chetan ESEC/FSE'13-TOOLS: "RUBRIC: A Flexible ..."
Autili, Marco ESEC/FSE'13-KEYNOTES: "Producing Software ..."
Bando, Yosuke ESEC/FSE'13-INDUSTRIAL: "ShAir: Extensible ..."
Baresi, Luciano ESEC/FSE'13-PANELS: "A Publication Culture ..."
Barros, Paulo ESEC/FSE'13: "SPLat: Lightweight ..."
Batory, Don ESEC/FSE'13: "SPLat: Lightweight ..."
Bavota, Gabriele ESEC/FSE'13: "API Change and Fault ..."
Bergel, Alexandre ESEC/FSE'13-MISC: "Artifact Evaluation ..."
Berkovich, Shay ESEC/FSE'13-TOOLS: "RiTHM: A Tool for ..."
Bernal-Cárdenas, Carlos ESEC/FSE'13: "API Change and Fault ..."
Bertolino, Antonia ESEC/FSE'13: "Adequate Monitoring ..."
Bettini, Lorenzo ESEC/FSE'13-MISC: "Artifact Evaluation ..."
Beyer, Dirk ESEC/FSE'13: "Precision Reuse ..."
Bird, Christian ESEC/FSE'13: "Diversity in Software ..." ESEC/FSE'13: "Convergent Contemporary ..."
Blincoe, Kelly ESEC/FSE'13: "Do All Task Dependencies ..."
Böhme, Marcel ESEC/FSE'13: "Regression Tests ..."
Bonakdarpour, Borzoo ESEC/FSE'13-TOOLS: "RiTHM: A Tool for ..."
Borgström, Johannes ESEC/FSE'13: "Bayesian Inference ..."
Braione, Pietro ESEC/FSE'13: "Enhancing Symbolic ..."
Brenner, Christian ESEC/FSE'13: "Incrementally Synthesizing ..."
Briand, Lionel ESEC/FSE'13-TOOLS: "RUBRIC: A Flexible ..."
Bruegge, Bernd ESEC/FSE'13-NEWIDEAS: "Towards Emotional ..."
Brun, Yuriy ESEC/FSE'13: "Making Offline Analyses ..." ESEC/FSE'13-NEWIDEAS: "Data Debugging with ..."
Brutch, Tasneem ESEC/FSE'13: "Jalangi: A Selective ..." ESEC/FSE'13-TOOLS: "Jalangi: A Tool ..."
Buy, Ugo ESEC/FSE'13: "Preventing Database ..." ESEC/FSE'13-TOOLS: "REDACT: Preventing ..."
Cadar, Cristian ESEC/FSE'13: "KATCH: High-Coverage ..."
Calefato, Fabio ESEC/FSE'13-TOOLS: "SocialCDE: A Social ..."
Carvalho, Gustavo ESEC/FSE'13-TOOLS: "RSA-MBT: A Test ..."
Chechik, Marsha ESEC/FSE'13: "N-Way Model Merging ..."
Chen, Yuting ESEC/FSE'13-NEWIDEAS: "Extracting URLs ..."
Cheung, S. C. ESEC/FSE'13-NEWIDEAS: "A Cost-Effectiveness ..."
Chimdyalwar, Bharti ESEC/FSE'13-INDUSTRIAL: "Precise Range Analysis ..."
Claret, Guillaume ESEC/FSE'13: "Bayesian Inference ..."
Cleland-Huang, Jane ESEC/FSE'13: "Improving Trace ..." ESEC/FSE'13: "Feature Model Extraction ..." ESEC/FSE'13-PANELS: "A Publication Culture ..."
Cohen, Myra B. ESEC/FSE'13: "Efficiency and Early ..."
Cordy, Maxime ESEC/FSE'13: "Incrementally Synthesizing ..."
Costa, Andrew Diniz da ESEC/FSE'13-TOOLS: "RSA-MBT: A Test ..."
Dajsuren, Yanja ESEC/FSE'13-DOCTORAL: "Automotive Architecture ..."
Damian, Daniela ESEC/FSE'13: "Do All Task Dependencies ..."
D'Amorim, Marcelo ESEC/FSE'13: "SPLat: Lightweight ..."
Davril, Jean-Marc ESEC/FSE'13: "Feature Model Extraction ..."
De Gooijer, Thijmen ESEC/FSE'13-INDUSTRIAL: "Agreements for Software ..."
Delac, Goran ESEC/FSE'13: "Prediction of Atomic ..."
Delfosse, Edouard ESEC/FSE'13: "Feature Model Extraction ..."
De Lucena, Carlos José Pereira ESEC/FSE'13-TOOLS: "RSA-MBT: A Test ..."
Denaro, Giovanni ESEC/FSE'13: "Enhancing Symbolic ..."
Deng, Yangdong ESEC/FSE'13-INDUSTRIAL: "Design and Optimization ..."
Detlefs, Dave ESEC/FSE'13: "Will You Still Compile ..."
Devanbu, Premkumar ESEC/FSE'13: "Sample Size vs. ..."
Dhoolia, Pankaj ESEC/FSE'13: "Distributed Program ..."
Dig, Danny ESEC/FSE'13: "Crossing the Gap ..."
DiGiuseppe, Nicholas ESEC/FSE'13-DOCTORAL: "Automatically Describing ..."
Di Penta, Massimiliano ESEC/FSE'13: "API Change and Fault ..."
Di Ruscio, Davide ESEC/FSE'13-KEYNOTES: "Producing Software ..."
Dörre, Jens ESEC/FSE'13: "Scalable Analysis ..."
Dolby, Julian ESEC/FSE'13: "Finding Incorrect ..."
Dong, Jin Song ESEC/FSE'13-TOOLS: "USMMC: A Self-Contained ..."
Dubinsky, Yael ESEC/FSE'13-NEWIDEAS: "Where Is the Business ..."
Dubois, Daniel J. ESEC/FSE'13-INDUSTRIAL: "ShAir: Extensible ..." ESEC/FSE'13-NEWIDEAS: "Understanding Gamification ..."
Dustdar, Schahram ESEC/FSE'13-NEWIDEAS: "Iterative Test Suites ..."
Elbaum, Sebastian ESEC/FSE'13: "Cascading Verification: ..."
Ernst, Michael D. ESEC/FSE'13: "Making Offline Analyses ..."
Escoffier, Clement ESEC/FSE'13-INDUSTRIAL: "h-ubu: An Industrial-Strength ..."
Fanning, Michael ESEC/FSE'13: "Practical Static ..."
Farzan, Azadeh ESEC/FSE'13: "Con2colic Testing ..."
Feldman, Yishai ESEC/FSE'13-NEWIDEAS: "Where Is the Business ..."
Fernando, Lakshan ESEC/FSE'13: "Will You Still Compile ..."
Filieri, Antonio ESEC/FSE'13-NEWIDEAS: "Iterative Test Suites ..."
Finkelstein, Anthony ESEC/FSE'13: "Cascading Verification: ..."
Fischmeister, Sebastian ESEC/FSE'13-TOOLS: "RiTHM: A Tool for ..."
Franklin, Lyle ESEC/FSE'13: "Crossing the Gap ..."
Fraser, Steven ESEC/FSE'13-PANELS: "A Publication Culture ..."
Furia, Carlo A. ESEC/FSE'13-PANELS: "A Publication Culture ..."
Gall, Harald ESEC/FSE'13-PANELS: "Empirical Answers ..."
Gambi, Alessio ESEC/FSE'13-NEWIDEAS: "Iterative Test Suites ..."
Ganesh, Vijay ESEC/FSE'13: "Z3-str: A Z3-Based ..."
Garcia, Joshua ESEC/FSE'13: "Identifying Message ..."
Gibbs, Simon ESEC/FSE'13: "Jalangi: A Selective ..." ESEC/FSE'13-TOOLS: "Jalangi: A Tool ..."
Gnaga, Raul ESEC/FSE'13-TOOLS: "RUBRIC: A Flexible ..."
Gokbulut, Sedar ESEC/FSE'13: "Will You Still Compile ..."
Goldstein, Maayan ESEC/FSE'13-NEWIDEAS: "Where Is the Business ..."
Gómez-Zamalloa, Miguel ESEC/FSE'13-TOOLS: "aPET: A Test Case ..."
Gong, Jiangtao ESEC/FSE'13-NEWIDEAS: "BugMap: A Topographic ..."
Gonthier, Georges ESEC/FSE'13-KEYNOTES: "Software Engineering ..." ESEC/FSE'13-PANELS: "A Publication Culture ..."
Gordon, Andrew D. ESEC/FSE'13: "Bayesian Inference ..."
Grechanik, Mark ESEC/FSE'13: "Preventing Database ..." ESEC/FSE'13-TOOLS: "REDACT: Preventing ..."
Greenyer, Joel ESEC/FSE'13: "Incrementally Synthesizing ..."
Gressi, Erika ESEC/FSE'13: "Incrementally Synthesizing ..."
Gros, Charles-Henri ESEC/FSE'13: "Scalable and Incremental ..."
Gu, Ming ESEC/FSE'13-INDUSTRIAL: "Design and Optimization ..." ESEC/FSE'13-INDUSTRIAL: "System Reliability ..."
Guzman, Emitza ESEC/FSE'13-NEWIDEAS: "Towards Emotional ..."
Gyori, Alex ESEC/FSE'13: "Crossing the Gap ..."
Hackbarth, Randy ESEC/FSE'13-INDUSTRIAL: "Risky Files: An ..."
Halfond, William G. J. ESEC/FSE'13: "Identifying Message ..."
Hariri, Negar ESEC/FSE'13: "Feature Model Extraction ..."
Harman, Mark ESEC/FSE'13: "Efficiency and Early ..." ESEC/FSE'13: "Searching for Better ..." ESEC/FSE'13-PANELS: "Empirical Answers ..."
Hashmi, Hammad ESEC/FSE'13: "Will You Still Compile ..."
Hawblitzel, Chris ESEC/FSE'13: "Will You Still Compile ..." ESEC/FSE'13: "Differential Assertion ..."
Hemmati, Hadi ESEC/FSE'13-NEWIDEAS: "Using Fault History ..."
Herraiz, Israel ESEC/FSE'13: "Sample Size vs. ..."
Heymans, Patrick ESEC/FSE'13: "Incrementally Synthesizing ..." ESEC/FSE'13: "Feature Model Extraction ..."
Holmes, Reid ESEC/FSE'13-NEWIDEAS: "Using Fault History ..."
Holtzman, Henry ESEC/FSE'13-INDUSTRIAL: "ShAir: Extensible ..."
Holzer, Andreas ESEC/FSE'13: "Con2colic Testing ..."
Hossain, B. M. Mainul ESEC/FSE'13: "Preventing Database ..." ESEC/FSE'13-TOOLS: "REDACT: Preventing ..."
Hu, Gang ESEC/FSE'13: "Effective Dynamic ..."
Hung, William N. N. ESEC/FSE'13-INDUSTRIAL: "System Reliability ..."
Inozemtseva, Laura ESEC/FSE'13-NEWIDEAS: "Using Fault History ..."
Inverardi, Paola ESEC/FSE'13-KEYNOTES: "Producing Software ..." ESEC/FSE'13-PANELS: "A Publication Culture ..."
Jaffar, Joxan ESEC/FSE'13: "Boosting Concolic ..."
Jensen, Casper S. ESEC/FSE'13: "Server Interface ..."
Jia, Yue ESEC/FSE'13: "Searching for Better ..."
Jiang, Yu ESEC/FSE'13-INDUSTRIAL: "Design and Optimization ..." ESEC/FSE'13-INDUSTRIAL: "System Reliability ..."
Joshi, Yogi ESEC/FSE'13-TOOLS: "RiTHM: A Tool for ..."
Kästner, Christian ESEC/FSE'13: "Scalable Analysis ..."
Kalasapur, Swaroop ESEC/FSE'13: "Jalangi: A Selective ..." ESEC/FSE'13-TOOLS: "Jalangi: A Tool ..."
Karim, Rezwana ESEC/FSE'13: "Compiling Mockups ..."
Khoo, Siau-Cheng ESEC/FSE'13: "Mining Succinct ..."
Khurshid, Sarfraz ESEC/FSE'13: "SPLat: Lightweight ..."
Kim, Chang Hwan Peter ESEC/FSE'13: "SPLat: Lightweight ..."
Koziolek, Heiko ESEC/FSE'13-INDUSTRIAL: "Agreements for Software ..."
Krinke, Jens ESEC/FSE'13: "Searching for Better ..."
Kumar, Rahul ESEC/FSE'13-INDUSTRIAL: "The Economics of ..."
Kumar, Shrawan ESEC/FSE'13-INDUSTRIAL: "Precise Range Analysis ..."
Lahiri, Shuvendu K. ESEC/FSE'13: "Will You Still Compile ..." ESEC/FSE'13: "Differential Assertion ..."
Lahoda, Jan ESEC/FSE'13: "Crossing the Gap ..."
Lalanda, Philippe ESEC/FSE'13-INDUSTRIAL: "h-ubu: An Industrial-Strength ..."
Lanubile, Filippo ESEC/FSE'13-TOOLS: "SocialCDE: A Social ..."
Lengauer, Christian ESEC/FSE'13: "Scalable Analysis ..."
Li, Bixin ESEC/FSE'13: "An Empirical Analysis ..."
Li, Kaituo ESEC/FSE'13: "Second-Order Constraints ..."
Li, Zonghui ESEC/FSE'13-INDUSTRIAL: "Design and Optimization ..."
Liang, Guangtai ESEC/FSE'13: "Inferring Project-Specific ..."
Liebig, Jörg ESEC/FSE'13: "Scalable Analysis ..."
Linares-Vásquez, Mario ESEC/FSE'13: "API Change and Fault ..."
Liu, Han ESEC/FSE'13-INDUSTRIAL: "System Reliability ..."
Liu, Peng ESEC/FSE'13: "Finding Incorrect ..."
Liu, Shuang ESEC/FSE'13-TOOLS: "USMMC: A Self-Contained ..."
Liu, Yang ESEC/FSE'13-TOOLS: "USMMC: A Self-Contained ..."
Livshits, Benjamin ESEC/FSE'13: "Practical Static ..."
Löwe, Stefan ESEC/FSE'13: "Precision Reuse ..."
Lohar, Sugandha ESEC/FSE'13: "Improving Trace ..."
Lopez, Nicolas ESEC/FSE'13-DOCTORAL: "Using Topic Models ..."
Machiry, Aravind ESEC/FSE'13: "Dynodroid: An Input ..."
Madsen, Magnus ESEC/FSE'13: "Practical Static ..."
Maoz, Shahar ESEC/FSE'13: "Synthesis of Component ..."
Marchetti, Eda ESEC/FSE'13: "Adequate Monitoring ..."
Marchetto, Alessandro ESEC/FSE'13: "Automated Oracles: ..."
Marinescu, Paul Dan ESEC/FSE'13: "KATCH: High-Coverage ..."
Marinov, Darko ESEC/FSE'13: "SPLat: Lightweight ..."
McMillan, Kenneth L. ESEC/FSE'13: "Differential Assertion ..."
McPeak, Scott ESEC/FSE'13: "Scalable and Incremental ..."
Medhat, Ramy ESEC/FSE'13-TOOLS: "RiTHM: A Tool for ..."
Medvidovic, Nenad ESEC/FSE'13: "Identifying Message ..."
Mei, Hong ESEC/FSE'13: "Inferring Project-Specific ..."
Meliou, Alexandra ESEC/FSE'13-NEWIDEAS: "Data Debugging with ..."
Meyer, Bertrand ESEC/FSE'13-PANELS: "Empirical Answers ..."
Mockus, Audris ESEC/FSE'13-INDUSTRIAL: "Risky Files: An ..."
Møller, Anders ESEC/FSE'13: "Server Interface ..."
Morichetta, Andrea ESEC/FSE'13: "Adequate Monitoring ..."
Murali, Vijayaraghavan ESEC/FSE'13: "Boosting Concolic ..."
Muşlu, Kıvanç ESEC/FSE'13: "Making Offline Analyses ..." ESEC/FSE'13-NEWIDEAS: "Data Debugging with ..."
Nagappan, Meiyappan ESEC/FSE'13: "Diversity in Software ..."
Naik, Mayur ESEC/FSE'13: "Dynodroid: An Input ..."
Navabpour, Samaneh ESEC/FSE'13-TOOLS: "RiTHM: A Tool for ..."
Navas, Jorge A. ESEC/FSE'13: "Boosting Concolic ..."
Nenashev, Oleg ESEC/FSE'13-DOCTORAL: "PHRT: A Model and ..."
Nguyen, Anh Tuan ESEC/FSE'13: "A Statistical Semantic ..." ESEC/FSE'13-NEWIDEAS: "Lexical Statistical ..."
Nguyen, Cu D. ESEC/FSE'13: "Automated Oracles: ..."
Nguyen, Hoan Anh ESEC/FSE'13: "A Statistical Semantic ..."
Nguyen, Khanh ESEC/FSE'13: "Cachetor: Detecting ..."
Nguyen, Tien N. ESEC/FSE'13: "A Statistical Semantic ..." ESEC/FSE'13-NEWIDEAS: "Lexical Statistical ..."
Nguyen, Tung Thanh ESEC/FSE'13: "A Statistical Semantic ..." ESEC/FSE'13-NEWIDEAS: "Lexical Statistical ..."
Nori, Aditya V. ESEC/FSE'13-INDUSTRIAL: "The Economics of ..." ESEC/FSE'13: "Bayesian Inference ..." ESEC/FSE'13: "Termination Proofs ..."
Notkin, David ESEC/FSE'13: "Making Offline Analyses ..."
Novikov, Evgeny ESEC/FSE'13: "Precision Reuse ..."
Oliveira, Bruno C. d. S. ESEC/FSE'13: "Regression Tests ..."
Oliveto, Rocco ESEC/FSE'13: "API Change and Fault ..."
Palframan, John ESEC/FSE'13-INDUSTRIAL: "Risky Files: An ..."
Paul, Gaurab ESEC/FSE'13: "Distributed Program ..."
Pawar, Kshama ESEC/FSE'13: "Will You Still Compile ..."
Pelliccione, Patrizio ESEC/FSE'13-KEYNOTES: "Producing Software ..."
Perry, Dewayne E. ESEC/FSE'13-NEWIDEAS: "Toward Understanding ..."
Petke, Justyna ESEC/FSE'13: "Efficiency and Early ..."
Pezzè, Mauro ESEC/FSE'13: "Enhancing Symbolic ..."
Pham, Tuan-Hung ESEC/FSE'13-TOOLS: "RADA: A Tool for ..."
Platenius, Marie Christin ESEC/FSE'13-DOCTORAL: "Fuzzy Service Matching ..."
Popescu, Daniel ESEC/FSE'13: "Identifying Message ..."
Poshyvanyk, Denys ESEC/FSE'13: "API Change and Fault ..."
Posnett, Daryl ESEC/FSE'13: "Sample Size vs. ..."
Qiu, Dong ESEC/FSE'13: "An Empirical Analysis ..."
Rahman, Foyzur ESEC/FSE'13: "Sample Size vs. ..."
Rajamani, Sriram K. ESEC/FSE'13: "Bayesian Inference ..."
Ramanathan, Murali Krishna ESEC/FSE'13: "Scalable and Incremental ..."
Razavi, Niloofar ESEC/FSE'13: "Con2colic Testing ..."
Reichenbach, Christoph ESEC/FSE'13: "Second-Order Constraints ..."
Rempulsky, Nicolas ESEC/FSE'13-INDUSTRIAL: "h-ubu: An Industrial-Strength ..."
Rigby, Peter C. ESEC/FSE'13: "Convergent Contemporary ..."
Rinetzky, Noam ESEC/FSE'13: "Tightfit: Adaptive ..."
Ringert, Jan Oliver ESEC/FSE'13: "Synthesis of Component ..."
Robillard, Martin P. ESEC/FSE'13-NEWIDEAS: "Code Fragment Summarization ..."
Rosenblum, David S. ESEC/FSE'13: "Cascading Verification: ..."
Roth, Andreas ESEC/FSE'13: "Mining Behavior ..."
Roychoudhury, Abhik ESEC/FSE'13: "Regression Tests ..."
Rubin, Julia ESEC/FSE'13: "N-Way Model Merging ..."
Rumpe, Bernhard ESEC/FSE'13: "Synthesis of Component ..."
Sabetzadeh, Mehrdad ESEC/FSE'13-TOOLS: "RUBRIC: A Flexible ..."
Safi, Gholamreza ESEC/FSE'13: "Identifying Message ..."
Saha, Avigit K. ESEC/FSE'13-NEWIDEAS: "Toward Understanding ..."
Saha, Diptikalyan ESEC/FSE'13: "Distributed Program ..."
Saha, Ripon K. ESEC/FSE'13-NEWIDEAS: "Toward Understanding ..."
Schäf, Martin ESEC/FSE'13: "Explaining Inconsistent ..."
Schur, Matthias ESEC/FSE'13: "Mining Behavior ..."
Schwartz-Narbonne, Daniel ESEC/FSE'13: "Explaining Inconsistent ..."
Sen, Koushik ESEC/FSE'13: "Jalangi: A Selective ..." ESEC/FSE'13-TOOLS: "Jalangi: A Tool ..."
Sharma, Rahul ESEC/FSE'13: "Termination Proofs ..." ESEC/FSE'13: "Differential Assertion ..."
Shrotri, Ulka ESEC/FSE'13-INDUSTRIAL: "Precise Range Analysis ..."
Silic, Marin ESEC/FSE'13: "Prediction of Atomic ..."
Sinha, Nishant ESEC/FSE'13: "Compiling Mockups ..."
Smaragdakis, Yannis ESEC/FSE'13: "Second-Order Constraints ..."
Song, Fu ESEC/FSE'13-TOOLS: "PoMMaDe: Pushdown ..."
Song, Xiaoyu ESEC/FSE'13-INDUSTRIAL: "Design and Optimization ..." ESEC/FSE'13-INDUSTRIAL: "System Reliability ..."
Souto, Sabrina ESEC/FSE'13: "SPLat: Lightweight ..."
Srbljic, Sinisa ESEC/FSE'13: "Prediction of Atomic ..."
Stahlbauer, Andreas ESEC/FSE'13: "Precision Reuse ..."
Su, Zhendong ESEC/FSE'13: "An Empirical Analysis ..." ESEC/FSE'13: "Server Interface ..."
Succi, Giancarlo ESEC/FSE'13-PANELS: "Empirical Answers ..."
Sun, Chengnian ESEC/FSE'13: "Mining Succinct ..."
Sun, Jiaguang ESEC/FSE'13-INDUSTRIAL: "Design and Optimization ..." ESEC/FSE'13-INDUSTRIAL: "System Reliability ..."
Sun, Jun ESEC/FSE'13-TOOLS: "USMMC: A Self-Contained ..."
Tahiliani, Rohan ESEC/FSE'13: "Dynodroid: An Input ..."
Tamburrelli, Giordano ESEC/FSE'13-NEWIDEAS: "Understanding Gamification ..."
Tang, Yang ESEC/FSE'13: "Effective Dynamic ..."
Terekhov, Andrey ESEC/FSE'13-INDUSTRIAL: "Good Technology ..."
Tikhonova, Ulyana ESEC/FSE'13-DOCTORAL: "A Framework for ..."
Tivoli, Massimo ESEC/FSE'13-KEYNOTES: "Producing Software ..."
Tonella, Paolo ESEC/FSE'13: "Automated Oracles: ..."
Touili, Tayssir ESEC/FSE'13-TOOLS: "PoMMaDe: Pushdown ..."
Tripp, Omer ESEC/FSE'13: "Tightfit: Adaptive ..."
Valetto, Giuseppe ESEC/FSE'13: "Do All Task Dependencies ..."
Vardi, Moshe Y. ESEC/FSE'13-KEYNOTES: "A Logical Revolution ..." ESEC/FSE'13-PANELS: "A Publication Culture ..."
Veith, Helmut ESEC/FSE'13: "Con2colic Testing ..."
Venieris, Ricardo ESEC/FSE'13-TOOLS: "RSA-MBT: A Test ..."
Vogel, Bahtijar ESEC/FSE'13-DOCTORAL: "Towards Open Architecture ..."
Von Rhein, Alexander ESEC/FSE'13: "Scalable Analysis ..."
Wadhwa, Bimlesh ESEC/FSE'13-TOOLS: "USMMC: A Self-Contained ..."
Wadsworth, Scott ESEC/FSE'13: "Will You Still Compile ..."
Wang, Haisheng ESEC/FSE'13: "Preventing Database ..." ESEC/FSE'13-TOOLS: "REDACT: Preventing ..."
Wang, Qi ESEC/FSE'13-NEWIDEAS: "Extracting URLs ..."