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 from ..." Article: fse13main-id221-p doi:
Albert, Elvira ESEC/FSE '13: "aPET: A Test Case Generation ..." Article: fse13tools-tid8-p doi:
Amornborvornwong, Sorawit ESEC/FSE '13: "Improving Trace Accuracy through ..." Article: fse13main-id121-p doi:
Apel, Sven ESEC/FSE '13: "Scalable Analysis of Variable ..." Article: fse13main-id145-p doi:
Arenas, Puri ESEC/FSE '13: "aPET: A Test Case Generation ..." Article: fse13tools-tid8-p doi:
Arora, Chetan ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..." Article: fse13tools-tid6-p doi:
Autili, Marco ESEC/FSE '13: "Producing Software by Integration: ..." Article: fse13keynotes-k2-p doi:
Bando, Yosuke ESEC/FSE '13: "ShAir: Extensible Middleware ..." Article: fse13industrial-ind20-p doi:
Baresi, Luciano ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Barros, Paulo ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
Batory, Don ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
Bavota, Gabriele ESEC/FSE '13: "API Change and Fault Proneness: ..." Article: fse13main-id110-p doi:
Bergel, Alexandre ESEC/FSE '13: "Artifact Evaluation (Summary) ..." Article: fse13misc-p4-p doi:
Berkovich, Shay ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Bernal-Cárdenas, Carlos ESEC/FSE '13: "API Change and Fault Proneness: ..." Article: fse13main-id110-p doi:
Bertolino, Antonia ESEC/FSE '13: "Adequate Monitoring of Service ..." Article: fse13main-id157-p doi:
Bettini, Lorenzo ESEC/FSE '13: "Artifact Evaluation (Summary) ..." Article: fse13misc-p4-p doi:
Beyer, Dirk ESEC/FSE '13: "Precision Reuse for Efficient ..." Article: fse13main-id113-p doi:
Bird, Christian ESEC/FSE '13: "Convergent Contemporary Software ..." Article: fse13main-id163-p doi: ESEC/FSE '13: "Diversity in Software Engineering ..." Article: fse13main-id19-p doi:
Blincoe, Kelly ESEC/FSE '13: "Do All Task Dependencies Require ..." Article: fse13main-id155-p doi:
Böhme, Marcel ESEC/FSE '13: "Regression Tests to Expose ..." Article: fse13main-id116-p doi:
Bonakdarpour, Borzoo ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Borgström, Johannes ESEC/FSE '13: "Bayesian Inference using Data ..." Article: fse13main-id78-p doi:
Braione, Pietro ESEC/FSE '13: "Enhancing Symbolic Execution ..." Article: fse13main-id126-p doi:
Brenner, Christian ESEC/FSE '13: "Incrementally Synthesizing ..." Article: fse13main-id175-p doi:
Briand, Lionel ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..." Article: fse13tools-tid6-p doi:
Bruegge, Bernd ESEC/FSE '13: "Towards Emotional Awareness ..." Article: fse13newideas-nid19-p doi:
Brun, Yuriy ESEC/FSE '13: "Making Offline Analyses Continuous ..." Article: fse13main-id242-p doi: ESEC/FSE '13: "Data Debugging with Continuous ..." Article: fse13newideas-nid26-p doi:
Brutch, Tasneem ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..." Article: fse13main-id185-p doi: ESEC/FSE '13: "Jalangi: A Tool Framework ..." Article: fse13tools-tid11-p doi:
Buy, Ugo ESEC/FSE '13: "Preventing Database Deadlocks ..." Article: fse13main-id2-p doi: ESEC/FSE '13: "REDACT: Preventing Database ..." Article: fse13tools-tid4-p doi:
Cadar, Cristian ESEC/FSE '13: "KATCH: High-Coverage Testing ..." Article: fse13main-id150-p doi:
Calefato, Fabio ESEC/FSE '13: "SocialCDE: A Social Awareness ..." Article: fse13tools-tid1-p doi:
Carvalho, Gustavo ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..." Article: fse13tools-tid2-p doi:
Chechik, Marsha ESEC/FSE '13: "N-Way Model Merging ..." Article: fse13main-id181-p doi:
Chen, Yuting ESEC/FSE '13: "Extracting URLs from JavaScript ..." Article: fse13newideas-nid32-p doi:
Cheung, S. C. ESEC/FSE '13: "A Cost-Effectiveness Criterion ..." Article: fse13newideas-nid18-p doi:
Chimdyalwar, Bharti ESEC/FSE '13: "Precise Range Analysis on ..." Article: fse13industrial-ind6-p doi:
Claret, Guillaume ESEC/FSE '13: "Bayesian Inference using Data ..." Article: fse13main-id78-p doi:
Cleland-Huang, Jane ESEC/FSE '13: "Feature Model Extraction from ..." Article: fse13main-id221-p doi: ESEC/FSE '13: "Improving Trace Accuracy through ..." Article: fse13main-id121-p doi: ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Cohen, Myra B. ESEC/FSE '13: "Efficiency and Early Fault ..." Article: fse13main-id142-p doi:
Cordy, Maxime ESEC/FSE '13: "Incrementally Synthesizing ..." Article: fse13main-id175-p doi:
Costa, Andrew Diniz da ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..." Article: fse13tools-tid2-p doi:
Dajsuren, Yanja ESEC/FSE '13: "Automotive Architecture Description ..." Article: fse13doctoral-doc6-p doi:
Damian, Daniela ESEC/FSE '13: "Do All Task Dependencies Require ..." Article: fse13main-id155-p doi:
D'Amorim, Marcelo ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
Davril, Jean-Marc ESEC/FSE '13: "Feature Model Extraction from ..." Article: fse13main-id221-p doi:
De Gooijer, Thijmen ESEC/FSE '13: "Agreements for Software Reuse ..." Article: fse13industrial-ind9-p doi:
Delac, Goran ESEC/FSE '13: "Prediction of Atomic Web Services ..." Article: fse13main-id87-p doi:
Delfosse, Edouard ESEC/FSE '13: "Feature Model Extraction from ..." Article: fse13main-id221-p doi:
De Lucena, Carlos José Pereira ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..." Article: fse13tools-tid2-p doi:
Denaro, Giovanni ESEC/FSE '13: "Enhancing Symbolic Execution ..." Article: fse13main-id126-p doi:
Deng, Yangdong ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Detlefs, Dave ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi:
Devanbu, Premkumar ESEC/FSE '13: "Sample Size vs. Bias in Defect ..." Article: fse13main-id50-p doi:
Dhoolia, Pankaj ESEC/FSE '13: "Distributed Program Tracing ..." Article: fse13main-id213-p doi:
Dig, Danny ESEC/FSE '13: "Crossing the Gap from Imperative ..." Article: fse13main-id244-p doi:
DiGiuseppe, Nicholas ESEC/FSE '13: "Automatically Describing Software ..." Article: fse13doctoral-doc3-p doi:
Di Penta, Massimiliano ESEC/FSE '13: "API Change and Fault Proneness: ..." Article: fse13main-id110-p doi:
Di Ruscio, Davide ESEC/FSE '13: "Producing Software by Integration: ..." Article: fse13keynotes-k2-p doi:
Dolby, Julian ESEC/FSE '13: "Finding Incorrect Compositions ..." Article: fse13main-id138-p doi:
Dong, Jin Song ESEC/FSE '13: "USMMC: A Self-Contained Model ..." Article: fse13tools-tid14-p doi:
Dörre, Jens ESEC/FSE '13: "Scalable Analysis of Variable ..." Article: fse13main-id145-p doi:
Dubinsky, Yael ESEC/FSE '13: "Where Is the Business Logic? ..." Article: fse13newideas-nid12-p doi:
Dubois, Daniel J. ESEC/FSE '13: "ShAir: Extensible Middleware ..." Article: fse13industrial-ind20-p doi: ESEC/FSE '13: "Understanding Gamification ..." Article: fse13newideas-nid27-p doi:
Dustdar, Schahram ESEC/FSE '13: "Iterative Test Suites Refinement ..." Article: fse13newideas-nid30-p doi:
Elbaum, Sebastian ESEC/FSE '13: "Cascading Verification: An ..." Article: fse13main-id219-p doi:
Ernst, Michael D. ESEC/FSE '13: "Making Offline Analyses Continuous ..." Article: fse13main-id242-p doi:
Escoffier, Clement ESEC/FSE '13: "h-ubu: An Industrial-Strength ..." Article: fse13industrial-ind15-p doi:
Fanning, Michael ESEC/FSE '13: "Practical Static Analysis ..." Article: fse13main-id43-p doi:
Farzan, Azadeh ESEC/FSE '13: "Con2colic Testing ..." Article: fse13main-id218-p doi:
Feldman, Yishai ESEC/FSE '13: "Where Is the Business Logic? ..." Article: fse13newideas-nid12-p doi:
Fernando, Lakshan ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi:
Filieri, Antonio ESEC/FSE '13: "Iterative Test Suites Refinement ..." Article: fse13newideas-nid30-p doi:
Finkelstein, Anthony ESEC/FSE '13: "Cascading Verification: An ..." Article: fse13main-id219-p doi:
Fischmeister, Sebastian ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Franklin, Lyle ESEC/FSE '13: "Crossing the Gap from Imperative ..." Article: fse13main-id244-p doi:
Fraser, Steven ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Furia, Carlo A. ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Gall, Harald ESEC/FSE '13: "Empirical Answers to Fundamental ..." Article: fse13panels-p1-p doi:
Gambi, Alessio ESEC/FSE '13: "Iterative Test Suites Refinement ..." Article: fse13newideas-nid30-p doi:
Ganesh, Vijay ESEC/FSE '13: "Z3-str: A Z3-Based String ..." Article: fse13main-id232-p doi:
Garcia, Joshua ESEC/FSE '13: "Identifying Message Flow in ..." Article: fse13main-id248-p doi:
Gibbs, Simon ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..." Article: fse13main-id185-p doi: ESEC/FSE '13: "Jalangi: A Tool Framework ..." Article: fse13tools-tid11-p doi:
Gnaga, Raul ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..." Article: fse13tools-tid6-p doi:
Gokbulut, Sedar ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi:
Goldstein, Maayan ESEC/FSE '13: "Where Is the Business Logic? ..." Article: fse13newideas-nid12-p doi:
Gómez-Zamalloa, Miguel ESEC/FSE '13: "aPET: A Test Case Generation ..." Article: fse13tools-tid8-p doi:
Gong, Jiangtao ESEC/FSE '13: "BugMap: A Topographic Map ..." Article: fse13newideas-nid4-p doi:
Gonthier, Georges ESEC/FSE '13: "Software Engineering for Mathematics ..." Article: fse13keynotes-k3-p doi: ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Gordon, Andrew D. ESEC/FSE '13: "Bayesian Inference using Data ..." Article: fse13main-id78-p doi:
Grechanik, Mark ESEC/FSE '13: "Preventing Database Deadlocks ..." Article: fse13main-id2-p doi: ESEC/FSE '13: "REDACT: Preventing Database ..." Article: fse13tools-tid4-p doi:
Greenyer, Joel ESEC/FSE '13: "Incrementally Synthesizing ..." Article: fse13main-id175-p doi:
Gressi, Erika ESEC/FSE '13: "Incrementally Synthesizing ..." Article: fse13main-id175-p doi:
Gros, Charles-Henri ESEC/FSE '13: "Scalable and Incremental Software ..." Article: fse13main-id51-p doi:
Gu, Ming ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi: ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Guzman, Emitza ESEC/FSE '13: "Towards Emotional Awareness ..." Article: fse13newideas-nid19-p doi:
Gyori, Alex ESEC/FSE '13: "Crossing the Gap from Imperative ..." Article: fse13main-id244-p doi:
Hackbarth, Randy ESEC/FSE '13: "Risky Files: An Approach to ..." Article: fse13industrial-ind11-p doi:
Halfond, William G. J. ESEC/FSE '13: "Identifying Message Flow in ..." Article: fse13main-id248-p doi:
Hariri, Negar ESEC/FSE '13: "Feature Model Extraction from ..." Article: fse13main-id221-p doi:
Harman, Mark ESEC/FSE '13: "Searching for Better Configurations: ..." Article: fse13main-id53-p doi: ESEC/FSE '13: "Efficiency and Early Fault ..." Article: fse13main-id142-p doi: ESEC/FSE '13: "Empirical Answers to Fundamental ..." Article: fse13panels-p1-p doi:
Hashmi, Hammad ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi:
Hawblitzel, Chris ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi: ESEC/FSE '13: "Differential Assertion Checking ..." Article: fse13main-id217-p doi:
Hemmati, Hadi ESEC/FSE '13: "Using Fault History to Improve ..." Article: fse13newideas-nid21-p doi:
Herraiz, Israel ESEC/FSE '13: "Sample Size vs. Bias in Defect ..." Article: fse13main-id50-p doi:
Heymans, Patrick ESEC/FSE '13: "Feature Model Extraction from ..." Article: fse13main-id221-p doi: ESEC/FSE '13: "Incrementally Synthesizing ..." Article: fse13main-id175-p doi:
Holmes, Reid ESEC/FSE '13: "Using Fault History to Improve ..." Article: fse13newideas-nid21-p doi:
Holtzman, Henry ESEC/FSE '13: "ShAir: Extensible Middleware ..." Article: fse13industrial-ind20-p doi:
Holzer, Andreas ESEC/FSE '13: "Con2colic Testing ..." Article: fse13main-id218-p doi:
Hossain, B. M. Mainul ESEC/FSE '13: "Preventing Database Deadlocks ..." Article: fse13main-id2-p doi: ESEC/FSE '13: "REDACT: Preventing Database ..." Article: fse13tools-tid4-p doi:
Hu, Gang ESEC/FSE '13: "Effective Dynamic Detection ..." Article: fse13main-id152-p doi:
Hung, William N. N. ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi:
Inozemtseva, Laura ESEC/FSE '13: "Using Fault History to Improve ..." Article: fse13newideas-nid21-p doi:
Inverardi, Paola ESEC/FSE '13: "Producing Software by Integration: ..." Article: fse13keynotes-k2-p doi: ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Jaffar, Joxan ESEC/FSE '13: "Boosting Concolic Testing ..." Article: fse13main-id95-p doi:
Jensen, Casper S. ESEC/FSE '13: "Server Interface Descriptions ..." Article: fse13main-id54-p doi:
Jia, Yue ESEC/FSE '13: "Searching for Better Configurations: ..." Article: fse13main-id53-p doi:
Jiang, Yu ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi: ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Joshi, Yogi ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Kalasapur, Swaroop ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..." Article: fse13main-id185-p doi: ESEC/FSE '13: "Jalangi: A Tool Framework ..." Article: fse13tools-tid11-p doi:
Karim, Rezwana ESEC/FSE '13: "Compiling Mockups to Flexible ..." Article: fse13main-id108-p doi:
Kästner, Christian ESEC/FSE '13: "Scalable Analysis of Variable ..." Article: fse13main-id145-p doi:
Khoo, Siau-Cheng ESEC/FSE '13: "Mining Succinct Predicated ..." Article: fse13main-id207-p doi:
Khurshid, Sarfraz ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
Kim, Chang Hwan Peter ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
Koziolek, Heiko ESEC/FSE '13: "Agreements for Software Reuse ..." Article: fse13industrial-ind9-p doi:
Krinke, Jens ESEC/FSE '13: "Searching for Better Configurations: ..." Article: fse13main-id53-p doi:
Kumar, Rahul ESEC/FSE '13: "The Economics of Static Analysis ..." Article: fse13industrial-ind4-p doi:
Kumar, Shrawan ESEC/FSE '13: "Precise Range Analysis on ..." Article: fse13industrial-ind6-p doi:
Lahiri, Shuvendu K. ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi: ESEC/FSE '13: "Differential Assertion Checking ..." Article: fse13main-id217-p doi:
Lahoda, Jan ESEC/FSE '13: "Crossing the Gap from Imperative ..." Article: fse13main-id244-p doi:
Lalanda, Philippe ESEC/FSE '13: "h-ubu: An Industrial-Strength ..." Article: fse13industrial-ind15-p doi:
Lanubile, Filippo ESEC/FSE '13: "SocialCDE: A Social Awareness ..." Article: fse13tools-tid1-p doi:
Lengauer, Christian ESEC/FSE '13: "Scalable Analysis of Variable ..." Article: fse13main-id145-p doi:
Li, Bixin ESEC/FSE '13: "An Empirical Analysis of the ..." Article: fse13main-id117-p doi:
Li, Kaituo ESEC/FSE '13: "Second-Order Constraints in ..." Article: fse13main-id233-p doi:
Li, Zonghui ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Liang, Guangtai ESEC/FSE '13: "Inferring Project-Specific ..." Article: fse13main-id57-p doi:
Liebig, Jörg ESEC/FSE '13: "Scalable Analysis of Variable ..." Article: fse13main-id145-p doi:
Linares-Vásquez, Mario ESEC/FSE '13: "API Change and Fault Proneness: ..." Article: fse13main-id110-p doi:
Liu, Han ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi:
Liu, Peng ESEC/FSE '13: "Finding Incorrect Compositions ..." Article: fse13main-id138-p doi:
Liu, Shuang ESEC/FSE '13: "USMMC: A Self-Contained Model ..." Article: fse13tools-tid14-p doi:
Liu, Yang ESEC/FSE '13: "USMMC: A Self-Contained Model ..." Article: fse13tools-tid14-p doi:
Livshits, Benjamin ESEC/FSE '13: "Practical Static Analysis ..." Article: fse13main-id43-p doi:
Lohar, Sugandha ESEC/FSE '13: "Improving Trace Accuracy through ..." Article: fse13main-id121-p doi:
Lopez, Nicolas ESEC/FSE '13: "Using Topic Models to Understand ..." Article: fse13doctoral-doc7-p doi:
Löwe, Stefan ESEC/FSE '13: "Precision Reuse for Efficient ..." Article: fse13main-id113-p doi:
Machiry, Aravind ESEC/FSE '13: "Dynodroid: An Input Generation ..." Article: fse13main-id212-p doi:
Madsen, Magnus ESEC/FSE '13: "Practical Static Analysis ..." Article: fse13main-id43-p doi:
Maoz, Shahar ESEC/FSE '13: "Synthesis of Component and ..." Article: fse13main-id16-p doi:
Marchetti, Eda ESEC/FSE '13: "Adequate Monitoring of Service ..." Article: fse13main-id157-p doi:
Marchetto, Alessandro ESEC/FSE '13: "Automated Oracles: An Empirical ..." Article: fse13main-id136-p doi:
Marinescu, Paul Dan ESEC/FSE '13: "KATCH: High-Coverage Testing ..." Article: fse13main-id150-p doi:
Marinov, Darko ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
McMillan, Kenneth L. ESEC/FSE '13: "Differential Assertion Checking ..." Article: fse13main-id217-p doi:
McPeak, Scott ESEC/FSE '13: "Scalable and Incremental Software ..." Article: fse13main-id51-p doi:
Medhat, Ramy ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Medvidovic, Nenad ESEC/FSE '13: "Identifying Message Flow in ..." Article: fse13main-id248-p doi:
Mei, Hong ESEC/FSE '13: "Inferring Project-Specific ..." Article: fse13main-id57-p doi:
Meliou, Alexandra ESEC/FSE '13: "Data Debugging with Continuous ..." Article: fse13newideas-nid26-p doi:
Meyer, Bertrand ESEC/FSE '13: "Empirical Answers to Fundamental ..." Article: fse13panels-p1-p doi:
Mockus, Audris ESEC/FSE '13: "Risky Files: An Approach to ..." Article: fse13industrial-ind11-p doi:
Møller, Anders ESEC/FSE '13: "Server Interface Descriptions ..." Article: fse13main-id54-p doi:
Morichetta, Andrea ESEC/FSE '13: "Adequate Monitoring of Service ..." Article: fse13main-id157-p doi:
Murali, Vijayaraghavan ESEC/FSE '13: "Boosting Concolic Testing ..." Article: fse13main-id95-p doi:
Muşlu, Kıvanç ESEC/FSE '13: "Making Offline Analyses Continuous ..." Article: fse13main-id242-p doi: ESEC/FSE '13: "Data Debugging with Continuous ..." Article: fse13newideas-nid26-p doi:
Nagappan, Meiyappan ESEC/FSE '13: "Diversity in Software Engineering ..." Article: fse13main-id19-p doi:
Naik, Mayur ESEC/FSE '13: "Dynodroid: An Input Generation ..." Article: fse13main-id212-p doi:
Navabpour, Samaneh ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Navas, Jorge A. ESEC/FSE '13: "Boosting Concolic Testing ..." Article: fse13main-id95-p doi:
Nenashev, Oleg ESEC/FSE '13: "PHRT: A Model and Programmable ..." Article: fse13doctoral-doc1-p doi:
Nguyen, Anh Tuan ESEC/FSE '13: "A Statistical Semantic Language ..." Article: fse13main-id234-p doi: ESEC/FSE '13: "Lexical Statistical Machine ..." Article: fse13newideas-nid34-p doi:
Nguyen, Cu D. ESEC/FSE '13: "Automated Oracles: An Empirical ..." Article: fse13main-id136-p doi:
Nguyen, Hoan Anh ESEC/FSE '13: "A Statistical Semantic Language ..." Article: fse13main-id234-p doi:
Nguyen, Khanh ESEC/FSE '13: "Cachetor: Detecting Cacheable ..." Article: fse13main-id35-p doi:
Nguyen, Tien N. ESEC/FSE '13: "A Statistical Semantic Language ..." Article: fse13main-id234-p doi: ESEC/FSE '13: "Lexical Statistical Machine ..." Article: fse13newideas-nid34-p doi:
Nguyen, Tung Thanh ESEC/FSE '13: "A Statistical Semantic Language ..." Article: fse13main-id234-p doi: ESEC/FSE '13: "Lexical Statistical Machine ..." Article: fse13newideas-nid34-p doi:
Nori, Aditya V. ESEC/FSE '13: "The Economics of Static Analysis ..." Article: fse13industrial-ind4-p doi: ESEC/FSE '13: "Bayesian Inference using Data ..." Article: fse13main-id78-p doi: ESEC/FSE '13: "Termination Proofs from Tests ..." Article: fse13main-id9-p doi:
Notkin, David ESEC/FSE '13: "Making Offline Analyses Continuous ..." Article: fse13main-id242-p doi:
Novikov, Evgeny ESEC/FSE '13: "Precision Reuse for Efficient ..." Article: fse13main-id113-p doi:
Oliveira, Bruno C. d. S. ESEC/FSE '13: "Regression Tests to Expose ..." Article: fse13main-id116-p doi:
Oliveto, Rocco ESEC/FSE '13: "API Change and Fault Proneness: ..." Article: fse13main-id110-p doi:
Palframan, John ESEC/FSE '13: "Risky Files: An Approach to ..." Article: fse13industrial-ind11-p doi:
Paul, Gaurab ESEC/FSE '13: "Distributed Program Tracing ..." Article: fse13main-id213-p doi:
Pawar, Kshama ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi:
Pelliccione, Patrizio ESEC/FSE '13: "Producing Software by Integration: ..." Article: fse13keynotes-k2-p doi:
Perry, Dewayne E. ESEC/FSE '13: "Toward Understanding the Causes ..." Article: fse13newideas-nid35-p doi:
Petke, Justyna ESEC/FSE '13: "Efficiency and Early Fault ..." Article: fse13main-id142-p doi:
Pezzè, Mauro ESEC/FSE '13: "Enhancing Symbolic Execution ..." Article: fse13main-id126-p doi:
Pham, Tuan-Hung ESEC/FSE '13: "RADA: A Tool for Reasoning ..." Article: fse13tools-tid15-p doi:
Platenius, Marie Christin ESEC/FSE '13: "Fuzzy Service Matching in ..." Article: fse13doctoral-doc2-p doi:
Popescu, Daniel ESEC/FSE '13: "Identifying Message Flow in ..." Article: fse13main-id248-p doi:
Poshyvanyk, Denys ESEC/FSE '13: "API Change and Fault Proneness: ..." Article: fse13main-id110-p doi:
Posnett, Daryl ESEC/FSE '13: "Sample Size vs. Bias in Defect ..." Article: fse13main-id50-p doi:
Qiu, Dong ESEC/FSE '13: "An Empirical Analysis of the ..." Article: fse13main-id117-p doi:
Rahman, Foyzur ESEC/FSE '13: "Sample Size vs. Bias in Defect ..." Article: fse13main-id50-p doi:
Rajamani, Sriram K. ESEC/FSE '13: "Bayesian Inference using Data ..." Article: fse13main-id78-p doi:
Ramanathan, Murali Krishna ESEC/FSE '13: "Scalable and Incremental Software ..." Article: fse13main-id51-p doi:
Razavi, Niloofar ESEC/FSE '13: "Con2colic Testing ..." Article: fse13main-id218-p doi:
Reichenbach, Christoph ESEC/FSE '13: "Second-Order Constraints in ..." Article: fse13main-id233-p doi:
Rempulsky, Nicolas ESEC/FSE '13: "h-ubu: An Industrial-Strength ..." Article: fse13industrial-ind15-p doi:
Rigby, Peter C. ESEC/FSE '13: "Convergent Contemporary Software ..." Article: fse13main-id163-p doi:
Rinetzky, Noam ESEC/FSE '13: "Tightfit: Adaptive Parallelization ..." Article: fse13main-id162-p doi:
Ringert, Jan Oliver ESEC/FSE '13: "Synthesis of Component and ..." Article: fse13main-id16-p doi:
Robillard, Martin P. ESEC/FSE '13: "Code Fragment Summarization ..." Article: fse13newideas-nid11-p doi:
Rosenblum, David S. ESEC/FSE '13: "Cascading Verification: An ..." Article: fse13main-id219-p doi:
Roth, Andreas ESEC/FSE '13: "Mining Behavior Models from ..." Article: fse13main-id102-p doi:
Roychoudhury, Abhik ESEC/FSE '13: "Regression Tests to Expose ..." Article: fse13main-id116-p doi:
Rubin, Julia ESEC/FSE '13: "N-Way Model Merging ..." Article: fse13main-id181-p doi:
Rumpe, Bernhard ESEC/FSE '13: "Synthesis of Component and ..." Article: fse13main-id16-p doi:
Sabetzadeh, Mehrdad ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..." Article: fse13tools-tid6-p doi:
Safi, Gholamreza ESEC/FSE '13: "Identifying Message Flow in ..." Article: fse13main-id248-p doi:
Saha, Avigit K. ESEC/FSE '13: "Toward Understanding the Causes ..." Article: fse13newideas-nid35-p doi:
Saha, Diptikalyan ESEC/FSE '13: "Distributed Program Tracing ..." Article: fse13main-id213-p doi:
Saha, Ripon K. ESEC/FSE '13: "Toward Understanding the Causes ..." Article: fse13newideas-nid35-p doi:
Schäf, Martin ESEC/FSE '13: "Explaining Inconsistent Code ..." Article: fse13main-id199-p doi:
Schur, Matthias ESEC/FSE '13: "Mining Behavior Models from ..." Article: fse13main-id102-p doi:
Schwartz-Narbonne, Daniel ESEC/FSE '13: "Explaining Inconsistent Code ..." Article: fse13main-id199-p doi:
Sen, Koushik ESEC/FSE '13: "Jalangi: A Selective Record-Replay ..." Article: fse13main-id185-p doi: ESEC/FSE '13: "Jalangi: A Tool Framework ..." Article: fse13tools-tid11-p doi:
Sharma, Rahul ESEC/FSE '13: "Termination Proofs from Tests ..." Article: fse13main-id9-p doi: ESEC/FSE '13: "Differential Assertion Checking ..." Article: fse13main-id217-p doi:
Shrotri, Ulka ESEC/FSE '13: "Precise Range Analysis on ..." Article: fse13industrial-ind6-p doi:
Silic, Marin ESEC/FSE '13: "Prediction of Atomic Web Services ..." Article: fse13main-id87-p doi:
Sinha, Nishant ESEC/FSE '13: "Compiling Mockups to Flexible ..." Article: fse13main-id108-p doi:
Smaragdakis, Yannis ESEC/FSE '13: "Second-Order Constraints in ..." Article: fse13main-id233-p doi:
Song, Fu ESEC/FSE '13: "PoMMaDe: Pushdown Model-Checking ..." Article: fse13tools-tid5-p doi:
Song, Xiaoyu ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi: ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Souto, Sabrina ESEC/FSE '13: "SPLat: Lightweight Dynamic ..." Article: fse13main-id235-p doi:
Srbljic, Sinisa ESEC/FSE '13: "Prediction of Atomic Web Services ..." Article: fse13main-id87-p doi:
Stahlbauer, Andreas ESEC/FSE '13: "Precision Reuse for Efficient ..." Article: fse13main-id113-p doi:
Su, Zhendong ESEC/FSE '13: "An Empirical Analysis of the ..." Article: fse13main-id117-p doi: ESEC/FSE '13: "Server Interface Descriptions ..." Article: fse13main-id54-p doi:
Succi, Giancarlo ESEC/FSE '13: "Empirical Answers to Fundamental ..." Article: fse13panels-p1-p doi:
Sun, Chengnian ESEC/FSE '13: "Mining Succinct Predicated ..." Article: fse13main-id207-p doi:
Sun, Jiaguang ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi: ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Sun, Jun ESEC/FSE '13: "USMMC: A Self-Contained Model ..." Article: fse13tools-tid14-p doi:
Tahiliani, Rohan ESEC/FSE '13: "Dynodroid: An Input Generation ..." Article: fse13main-id212-p doi:
Tamburrelli, Giordano ESEC/FSE '13: "Understanding Gamification ..." Article: fse13newideas-nid27-p doi:
Tang, Yang ESEC/FSE '13: "Effective Dynamic Detection ..." Article: fse13main-id152-p doi:
Terekhov, Andrey ESEC/FSE '13: "Good Technology Makes the ..." Article: fse13industrial-ind7-p doi:
Tikhonova, Ulyana ESEC/FSE '13: "A Framework for Defining the ..." Article: fse13doctoral-doc8-p doi:
Tivoli, Massimo ESEC/FSE '13: "Producing Software by Integration: ..." Article: fse13keynotes-k2-p doi:
Tonella, Paolo ESEC/FSE '13: "Automated Oracles: An Empirical ..." Article: fse13main-id136-p doi:
Touili, Tayssir ESEC/FSE '13: "PoMMaDe: Pushdown Model-Checking ..." Article: fse13tools-tid5-p doi:
Tripp, Omer ESEC/FSE '13: "Tightfit: Adaptive Parallelization ..." Article: fse13main-id162-p doi:
Valetto, Giuseppe ESEC/FSE '13: "Do All Task Dependencies Require ..." Article: fse13main-id155-p doi:
Vardi, Moshe Y. ESEC/FSE '13: "A Logical Revolution (Keynote) ..." Article: fse13keynotes-k1-p doi: ESEC/FSE '13: "A Publication Culture in Software ..." Article: fse13panels-p2-p doi:
Veith, Helmut ESEC/FSE '13: "Con2colic Testing ..." Article: fse13main-id218-p doi:
Venieris, Ricardo ESEC/FSE '13: "RSA-MBT: A Test Tool for Generating ..." Article: fse13tools-tid2-p doi:
Vogel, Bahtijar ESEC/FSE '13: "Towards Open Architecture ..." Article: fse13doctoral-doc4-p doi:
Von Rhein, Alexander ESEC/FSE '13: "Scalable Analysis of Variable ..." Article: fse13main-id145-p doi:
Wadhwa, Bimlesh ESEC/FSE '13: "USMMC: A Self-Contained Model ..." Article: fse13tools-tid14-p doi:
Wadsworth, Scott ESEC/FSE '13: "Will You Still Compile Me ..." Article: fse13main-id161-p doi:
Wang, Haisheng ESEC/FSE '13: "Preventing Database Deadlocks ..." Article: fse13main-id2-p doi: ESEC/FSE '13: "REDACT: Preventing Database ..." Article: fse13tools-tid4-p doi:
Wang, Qi ESEC/FSE '13: "Extracting URLs from JavaScript ..." Article: fse13newideas-nid32-p doi:
Wang, Qianxiang ESEC/FSE '13: "Inferring Project-Specific ..." Article: fse13main-id57-p doi:
Wang, Tiantian ESEC/FSE '13: "Searching for Better Configurations: ..." Article: fse13main-id53-p doi:
Watanabe, Konosuke ESEC/FSE '13: "ShAir: Extensible Middleware ..." Article: fse13industrial-ind20-p doi:
Wendler, Philipp ESEC/FSE '13: "Precision Reuse for Efficient ..." Article: fse13main-id113-p doi:
Whalen, Michael W. ESEC/FSE '13: "RADA: A Tool for Reasoning ..." Article: fse13tools-tid15-p doi:
Wies, Thomas ESEC/FSE '13: "Explaining Inconsistent Code ..." Article: fse13main-id199-p doi:
Wong, Peter Y. H. ESEC/FSE '13: "aPET: A Test Case Generation ..." Article: fse13tools-tid8-p doi:
Wu, Jingyue ESEC/FSE '13: "Effective Dynamic Detection ..." Article: fse13main-id152-p doi:
Wu, Wallace ESEC/FSE '13: "RiTHM: A Tool for Enabling ..." Article: fse13tools-tid9-p doi:
Xie, Tao ESEC/FSE '13: "Inferring Project-Specific ..." Article: fse13main-id57-p doi:
Xu, Guoqing ESEC/FSE '13: "Cachetor: Detecting Cacheable ..." Article: fse13main-id35-p doi:
Yang, Junfeng ESEC/FSE '13: "Effective Dynamic Detection ..." Article: fse13main-id152-p doi:
Ying, Annie T. T. ESEC/FSE '13: "Code Fragment Summarization ..." Article: fse13newideas-nid11-p doi:
Yoo, Shin ESEC/FSE '13: "Efficiency and Early Fault ..." Article: fse13main-id142-p doi:
Young, Michal ESEC/FSE '13: "Second-Order Constraints in ..." Article: fse13main-id233-p doi:
Zeller, Andreas ESEC/FSE '13: "Mining Behavior Models from ..." Article: fse13main-id102-p doi:
Zervoudakis, Fokion ESEC/FSE '13: "Cascading Verification: An ..." Article: fse13main-id219-p doi:
Zhang, Charles ESEC/FSE '13: "Finding Incorrect Compositions ..." Article: fse13main-id138-p doi:
Zhang, Hehua ESEC/FSE '13: "System Reliability Calculation ..." Article: fse13industrial-ind17-p doi: ESEC/FSE '13: "Design and Optimization of ..." Article: fse13industrial-ind8-p doi:
Zhang, Hongyu ESEC/FSE '13: "A Cost-Effectiveness Criterion ..." Article: fse13newideas-nid18-p doi: ESEC/FSE '13: "BugMap: A Topographic Map ..." Article: fse13newideas-nid4-p doi:
Zhang, Xiangyu ESEC/FSE '13: "Z3-str: A Z3-Based String ..." Article: fse13main-id232-p doi:
Zhang, Yizhou ESEC/FSE '13: "Extracting URLs from JavaScript ..." Article: fse13newideas-nid32-p doi:
Zhao, Jianjun ESEC/FSE '13: "Extracting URLs from JavaScript ..." Article: fse13newideas-nid32-p doi:
Zheng, Manchun ESEC/FSE '13: "USMMC: A Self-Contained Model ..." Article: fse13tools-tid14-p doi:
Zheng, Yunhui ESEC/FSE '13: "Z3-str: A Z3-Based String ..." Article: fse13main-id232-p doi:
Zhou, Jingyu ESEC/FSE '13: "Extracting URLs from JavaScript ..." Article: fse13newideas-nid32-p doi:
Zimmer, Frank ESEC/FSE '13: "RUBRIC: A Flexible Tool for ..." Article: fse13tools-tid6-p doi:
Zimmermann, Thomas ESEC/FSE '13: "Diversity in Software Engineering ..." Article: fse13main-id19-p doi:
Zisman, Andrea ESEC/FSE '13: "Improving Trace Accuracy through ..." Article: fse13main-id121-p doi:

318 authors

proc time: 0.32