2014

• Qi Xuan,Aaron Okano,Premkumar T. Devanbu,Vladimir Filkov,Focus-shifting patterns of OSS developers and their congruence with call graphs.
• Cecylia Bocovich,Joanne M. Atlee,Variable-specific resolutions for feature interactions.
• Richard Joiner,Thomas W. Reps,Somesh Jha,Mohan Dhawan,Vinod Ganapathy,Efficient runtime-enforcement techniques for policy weaving.
• Olga Baysal,Reid Holmes,Michael W. Godfrey,No issue left behind: reducing information overload in issue tracking.
• Peng Liu,Omer Tripp,Charles Zhang,Grail: context-aware fixing of concurrency bugs.
• Ivo Krka,Yuriy Brun,Nenad Medvidovic,Automatic mining of specifications from invocation traces and method invariants.
• Yu Lin,Cosmin Radoi,Danny Dig,Retrofitting concurrency for Android applications through refactoring.
• Jacob Swanson,Myra B. Cohen,Matthew B. Dwyer,Brady J. Garvin,Justin Firestone,Beyond the rainbow: self-adaptive failure avoidance in configurable systems.
• Annie T. T. Ying,Martin P. Robillard,Selection and presentation practices for code example summarization.
• Narcisa Andreea Milea,Lingxiao Jiang,Siau-Cheng Khoo,Vector abstraction and concretization for scalable detection of refactorings.
• Baishakhi Ray,Daryl Posnett,Vladimir Filkov,Premkumar T. Devanbu,A large scale study of programming languages and code quality in github.
• Mahdi Eslamimehr,Jens Palsberg,Sherlock: scalable deadlock detection for concurrent programs.
• Raphael Pham,Stephan Kiesling,Olga Liskin,Leif Singer,Kurt Schneider,Enablers, inhibitors, and perceptions of testing in novice software teams.
• SungGyeong Bae,Hyunghun Cho,Inho Lim,Sukyoung Ryu,SAFEWAPI: web API misuse detector for web applications.
• Amirhossein Vakili,Nancy A. Day,Verifying CTL-live properties of infinite state models using an SMT solver.
• Qingzhou Luo,Farah Hariri,Lamyaa Eloussi,Darko Marinov,An empirical analysis of flaky tests.
• Marcel Böhme,Soumya Paul,On the efficiency of automated testing.
• Mingxing Zhang,Yongwei Wu,Shan Lu,Shanxiang Qi,Jinglei Ren,Weimin Zheng,AI: a lightweight system for tolerating concurrency bugs.
• Guodong Li,Esben Andreasen,Indradeep Ghosh,SymJS: automatic symbolic testing of JavaScript web applications.
• Riyadh Mahmood,Nariman Mirzaei,Sam Malek,EvoDroid: segmented evolutionary testing of Android apps.
• Laura Moreno,Gabriele Bavota,Massimiliano Di Penta,Rocco Oliveto,Andrian Marcus,Gerardo Canfora,Automatic generation of release notes.
• Miltiadis Allamanis,Earl T. Barr,Christian Bird,Charles A. Sutton,Learning natural coding conventions.
• Yida Tao,Jindae Kim,Sunghun Kim,Chang Xu,Automatically generated patches as debugging aids: a human study.
• Vineeth Kashyap,Kyle Dewey,Ethan A. Kuefner,John Wagner,Kevin Gibbons,John Sarracino,Ben Wiedermann,Ben Hardekopf,JSAI: a static analysis platform for JavaScript.
• André N. Meyer,Thomas Fritz,Gail C. Murphy,Thomas Zimmermann,Software developers' perceptions of productivity.
• Hammad Khalid,Meiyappan Nagappan,Emad Shihab,Ahmed E. Hassan,Prioritizing the devices to test your app on: a case study of Android game apps.
• Sebastian G. Elbaum,Gregg Rothermel,John Penix,Techniques for improving regression testing in continuous integration development environments.
• August Shi,Alex Gyori,Milos Gligoric,Andrey Zaytsev,Darko Marinov,Balancing trade-offs in test-suite reduction.
• David Binkley,Nicolas Gold,Mark Harman,Syed S. Islam,Jens Krinke,Shin Yoo,ORBS: language-independent program slicing.
• Senthil Mani,Karthik Sankaranarayanan,Vibha Singhal Sinha,Premkumar T. Devanbu,Panning requirement nuggets in stream of software maintenance tickets.
• Guido Salvaneschi,Sven Amann,Sebastian Proksch,Mira Mezini,An empirical study on program comprehension with reactive programming.
• Zhaopeng Tu,Zhendong Su,Premkumar T. Devanbu,On the localness of software.
• Yu Feng,Saswat Anand,Isil Dillig,Alex Aiken,Apposcopy: semantics-based detection of Android malware through static analysis.
• Lannan Luo,Jiang Ming,Dinghao Wu,Peng Liu,Sencun Zhu,Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection.
• Thomas Fritz,David C. Shepherd,Katja Kevic,Will Snipes,Christoph Bräunlich,Developers' code context models for change tasks.
• Jason Tsay,Laura Dabbish,James D. Herbsleb,Let's talk about it: evaluating contributions through discussion in GitHub.
• Hung Viet Nguyen,Christian Kästner,Tien N. Nguyen,Building call graphs for embedded client-side code in dynamic web applications.
• Hoan Anh Nguyen,Robert Dyer,Tien N. Nguyen,Hridesh Rajan,Mining preconditions of APIs in large-scale code corpus.
• Jeffrey L. Overbey,Farnaz Behrang,Munawar Hafiz,A foundation for refactoring C with macros.
• Chengnian Sun,Haidong Zhang,Jian-Guang Lou,Hongyu Zhang,Qiang Wang,Dongmei Zhang,Siau-Cheng Khoo,Querying sequential software engineering data.
• Jifeng Xuan,Martin Monperrus,Test case purification for improving fault localization.
• Sumit Gulwani,Ivan Radicek,Florian Zuleger,Feedback generation for performance problems in introductory programming assignments.
• Johannes Lerch,Ben Hermann,Eric Bodden,Mira Mezini,FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases.
• Sebastian Baltes,Stephan Diehl,Sketches and diagrams in practice.
• Klaus-Benedikt Schultis,Christoph Elsner,Daniel Lohmann,Architecture challenges for internal software ecosystems: a large-scale industry case study.
• Xin Ye,Razvan C. Bunescu,Chang Liu,Learning to rank relevant files for bug reports using domain knowledge.
• Hyunmin Seo,Sunghun Kim,How we get there: a context-guided search strategy in concolic testing.
• Peter Dinges,Gul A. Agha,Solving complex path conditions through heuristic search on induced polytopes.
• Akash Lal,Shaz Qadeer,Powering the static driver verifier using corral.
• Maxime Cordy,Patrick Heymans,Axel Legay,Pierre-Yves Schobbens,Bruno Dawagne,Martin Leucker,Counterexample guided abstraction refinement of product-line behavioural models.
• Amiangshu Bosu,Jeffrey C. Carver,Munawar Hafiz,Patrick Hilley,Derek Janni,Identifying the characteristics of vulnerable code changes: an empirical study.
• Earl T. Barr,Yuriy Brun,Premkumar T. Devanbu,Mark Harman,Federica Sarro,The plastic surgery hypothesis.
• René Just,Darioush Jalali,Laura Inozemtseva,Michael D. Ernst,Reid Holmes,Gordon Fraser,Are mutants a valid substitute for real faults in software testing?
• Miltiadis Allamanis,Charles A. Sutton,Mining idioms from source code.
• Antonio Filieri,Corina S. Pasareanu,Willem Visser,Jaco Geldenhuys,Statistical symbolic execution with informed sampling.
• Davood Mazinanian,Nikolaos Tsantalis,Ali Mesbah,Discovering refactoring opportunities in cascading style sheets.
• Abhijeet Banerjee,Lee Kee Chong,Sudipta Chattopadhyay,Abhik Roychoudhury,Detecting energy bugs and hotspots in mobile apps.
• Alberto Goffi,Alessandra Gorla,Andrea Mattavelli,Mauro Pezzè,Paolo Tonella,Search-based synthesis of equivalent method sequences.
• Chen Huo,James Clause,Improving oracle quality by detecting brittle assertions and unused inputs in tests.
• Joxan Jaffar,Vijayaraghavan Murali,A path-sensitively sliced control flow graph.
• Yoshiki Higo,Shinji Kusumoto,How should we measure functional sameness from program source code? an exploratory study on Java methods.

2013

• Marin Silic,Goran Delac,Sinisa Srbljic,Prediction of atomic web services reliability based on k-means clustering.
• Tiantian Wang,Mark Harman,Yue Jia,Jens Krinke,Searching for better configurations: a rigorous approach to clone evaluation.
• Dong Qiu,Bixin Li,Zhendong Su,An empirical analysis of the co-evolution of schema and code in database applications.
• Meiyappan Nagappan,Thomas Zimmermann,Christian Bird,Diversity in software engineering research.
• Omer Tripp,Noam Rinetzky,Tightfit: adaptive parallelization with foresight.
• Antonia Bertolino,Eda Marchetti,Andrea Morichetta,Adequate monitoring of service compositions.
• Kelly Blincoe,Giuseppe Valetto,Daniela Damian,Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects.
• Chang Hwan Peter Kim,Darko Marinov,Sarfraz Khurshid,Don S. Batory,Sabrina Souto,Paulo Barros,Marcelo d'Amorim,SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.
• Jingyue Wu,Gang Hu,Yang Tang,Junfeng Yang,Effective dynamic detection of alias analysis errors.
• Magnus Madsen,Benjamin Livshits,Michael Fanning,Practical static analysis of JavaScript applications in the presence of frameworks and libraries.
• Guillaume Claret,Sriram K. Rajamani,Aditya V. Nori,Andrew D. Gordon,Johannes Borgström,Bayesian inference using data flow analysis.
• Mark Grechanik,B. M. Mainul Hossain,Ugo Buy,Haisheng Wang,Preventing database deadlocks in applications.
• Azadeh Farzan,Andreas Holzer,Niloofar Razavi,Helmut Veith,Con2colic testing.
• Sugandha Lohar,Sorawit Amornborvornwong,Andrea Zisman,Jane Cleland-Huang,Improving trace accuracy through data-driven configuration and composition of tracing features.
• Justyna Petke,Shin Yoo,Myra B. Cohen,Mark Harman,Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
• Cu D. Nguyen,Alessandro Marchetto,Paolo Tonella,Automated oracles: an empirical study on cost and effectiveness.
• Martin Schäf,Daniel Schwartz-Narbonne,Thomas Wies,Explaining inconsistent code.
• Alex Gyori,Lyle Franklin,Danny Dig,Jan Lahoda,Crossing the gap from imperative to functional programming through refactoring.
• Joel Greenyer,Christian Brenner,Maxime Cordy,Patrick Heymans,Erika Gressi,Incrementally synthesizing controllers from scenario-based product line specifications.
• Aditya V. Nori,Rahul Sharma,Termination proofs from tests.
• Matthias Schur,Andreas Roth,Andreas Zeller,Mining behavior models from enterprise web applications.
• Jean-Marc Davril,Edouard Delfosse,Negar Hariri,Mathieu Acher,Jane Cleland-Huang,Patrick Heymans,Feature model extraction from large collections of informal product descriptions.
• Jörg Liebig,Alexander von Rhein,Christian Kästner,Sven Apel,Jens Dörre,Christian Lengauer,Scalable analysis of variable software.
• Tung Thanh Nguyen,Anh Tuan Nguyen,Hoan Anh Nguyen,Tien N. Nguyen,A statistical semantic language model for source code.
• Aravind Machiry,Rohan Tahiliani,Mayur Naik,Dynodroid: an input generation system for Android apps.
• Peng Liu,Julian Dolby,Charles Zhang,Finding incorrect compositions of atomicity.
• Pietro Braione,Giovanni Denaro,Mauro Pezzè,Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.
• Khanh Nguyen,Guoqing (Harry) Xu,Cachetor: detecting cacheable data to remove bloat.
• Casper Svenning Jensen,Anders Møller,Zhendong Su,Server interface descriptions for automated testing of JavaScript web applications.
• Nishant Sinha,Rezwana Karim,Compiling mockups to flexible UIs.
• Guangtai Liang,Qianxiang Wang,Tao Xie,Hong Mei,Inferring project-specific bug patterns for detecting sibling bugs.
• Mario Linares Vásquez,Gabriele Bavota,Carlos Bernal-Cárdenas,Massimiliano Di Penta,Rocco Oliveto,Denys Poshyvanyk,API change and fault proneness: a threat to the success of Android apps.
• Paul Dan Marinescu,Cristian Cadar,KATCH: high-coverage testing of software patches.
• Paola Inverardi,Marco Autili,Davide Di Ruscio,Patrizio Pelliccione,Massimo Tivoli,Producing software by integration: challenges and research directions (keynote).
• Kivanç Muslu,Yuriy Brun,Michael D. Ernst,David Notkin,Making offline analyses continuous.
• Joshua Garcia,Daniel Popescu,Gholamreza Safi,William G. J. Halfond,Nenad Medvidovic,Identifying message flow in distributed event-based systems.
• Kaituo Li,Christoph Reichenbach,Yannis Smaragdakis,Michal Young,Second-order constraints in dynamic invariant inference.
• Shahar Maoz,Jan Oliver Ringert,Bernhard Rumpe,Synthesis of component and connector models from crosscutting structural views.
• Peter C. Rigby,Christian Bird,Convergent contemporary software peer review practices.
• Fokion Zervoudakis,David S. Rosenblum,Sebastian G. Elbaum,Anthony Finkelstein,Cascading verification: an integrated method for domain-specific model checking.
• Dirk Beyer,Stefan Löwe,Evgeny Novikov,Andreas Stahlbauer,Philipp Wendler,Precision reuse for efficient regression verification.
• Koushik Sen,Swaroop Kalasapur,Tasneem G. Brutch,Simon Gibbs,Jalangi: a selective record-replay and dynamic analysis framework for JavaScript.
• Julia Rubin,Marsha Chechik,N-way model merging.
• Shuvendu K. Lahiri,Kenneth L. McMillan,Rahul Sharma,Chris Hawblitzel,Differential assertion checking.
• Chris Hawblitzel,Shuvendu K. Lahiri,Kshama Pawar,Hammad Hashmi,Sedar Gokbulut,Lakshan Fernando,Dave Detlefs,Scott Wadsworth,Will you still compile me tomorrow? static cross-version compiler validation.
• Chengnian Sun,Siau-Cheng Khoo,Mining succinct predicated bug signatures.
• Foyzur Rahman,Daryl Posnett,Israel Herraiz,Premkumar T. Devanbu,Sample size vs. bias in defect prediction.
• Diptikalyan Saha,Pankaj Dhoolia,Gaurab Paul,Distributed program tracing.
• Yunhui Zheng,Xiangyu Zhang,Vijay Ganesh,Z3-str: a z3-based string solver for web application analysis.
• Scott McPeak,Charles-Henri Gros,Murali Krishna Ramanathan,Scalable and incremental software bug detection.
• Marcel Böhme,Bruno C. d. S. Oliveira,Abhik Roychoudhury,Regression tests to expose change interaction errors.
• Joxan Jaffar,Vijayaraghavan Murali,Jorge A. Navas,Boosting concolic testing via interpolation.

2012

• Azadeh Farzan,P. Madhusudan,Niloofar Razavi,Francesco Sorrentino,Predicting null-pointer dereferences in concurrent programs.
• Robert J. Walker,Shreya Rawal,Jonathan Sillito,Do crosscutting concerns cause modularity problems?
• Miryung Kim,Thomas Zimmermann,Nachiappan Nagappan,A field study of refactoring challenges and benefits.
• Xiaoyin Wang,Lu Zhang,Tao Xie,Yingfei Xiong,Hong Mei,Automating presentation changes in dynamic web applications via collaborative hybrid analysis.
• Dirk Beyer,Thomas A. Henzinger,M. Erkan Keremoglu,Philipp Wendler,Conditional model checking: a technique to pass information between verifiers.
• Xusheng Xiao,Amit M. Paradkar,Suresh Thummalapenta,Tao Xie,Automated extraction of security policies from natural-language software documents.
• Sangmin Park,B. M. Mainul Hossain,Ishtiaque Hussain,Christoph Csallner,Mark Grechanik,Kunal Taneja,Chen Fu,Qing Xie,CarFast: achieving higher statement coverage faster.
• Yida Tao,Yingnong Dang,Tao Xie,Dongmei Zhang,Sunghun Kim,How do software engineers understand code changes?: an exploratory study in industry.
• Emerson R. Murphy-Hill,Rahul Jiresal,Gail C. Murphy,Improving software developers' fluency by recommending development environment commands.
• Leandro Sales Pinto,Saurabh Sinha,Alessandro Orso,Understanding myths and realities of test-suite evolution.
• Razieh Nokhbeh Zaeem,Sarfraz Khurshid,Test input generation using dynamic programming.
• Baishakhi Ray,Miryung Kim,A case study of cross-system porting in forked projects.
• Emina Torlak,Scalable test data generation from multidimensional models.
• Michael Emmi,Akash Lal,Shaz Qadeer,Asynchronous programs with prioritized task-buffers.
• Wing-Kwan Chan,Hong Cheng,David Lo,Searching connected API subgraph via text phrases.
• Mehdi Mirakhorli,Patrick Mäder,Jane Cleland-Huang,Variability points and design pattern usage in architectural tactics.
• Anh Tuan Nguyen,Tung Thanh Nguyen,Hoan Anh Nguyen,Tien N. Nguyen,Multi-layered approach for recovering links between bug reports and fixes.
• Malay K. Ganai,Dongyoon Lee,Aarti Gupta,DTAM: dynamic taint analysis of multi-threaded programs for relevancy.
• Emad Shihab,Ahmed E. Hassan,Bram Adams,Zhen Ming Jiang,An industrial study on the risk of software changes.
• Foyzur Rahman,Daryl Posnett,Premkumar T. Devanbu,Recalling the "imprecision" of cross-project defect prediction.
• Gerardo Canfora,Massimiliano Di Penta,Rocco Oliveto,Sebastiano Panichella,Who is going to mentor newcomers in open source projects?
• Senthil Mani,Rose Catherine,Vibha Singhal Sinha,Avinava Dubey,AUSUM: approach for unsupervised bug report summarization.
• Romain Robbes,Mircea Lungu,David Röthlisberger,How do developers react to API deprecation?: the case of a smalltalk ecosystem.
• Joseph P. Near,Daniel Jackson,Rubicon: bounded verification of web applications.
• Damien Octeau,Somesh Jha,Patrick McDaniel,Retargeting Android applications to Java bytecode.
• Bradley Cossette,Robert J. Walker,Seeking the ground truth: a retroactive study on the evolution and migration of software libraries.
• Mark Gabel,Zhendong Su,Testing mined specifications.
• Semih Okur,Danny Dig,How do developers use parallel libraries?
• Francisco Servant,James A. Jones,History slicing: assisting code-evolution tasks.
• Saswat Anand,Mayur Naik,Mary Jean Harrold,Hongseok Yang,Automated concolic testing of smartphone apps.
• Christian Bird,Thomas Zimmermann,Assessing the value of branches with what-if analysis.
• Kyle R. Canavera,Naeem Esfahani,Sam Malek,Mining the execution history of a software system to infer the best time for its adaptation.
• Willem Visser,Jaco Geldenhuys,Matthew B. Dwyer,Green: reducing, reusing and recycling constraints in program analysis.
• Taeho Kwon,Zhendong Su,Detecting and analyzing insecure component usage.

2011

• Swarat Chaudhuri,Sumit Gulwani,Roberto Lublinerman,Sara NavidPour,Proving programs robust.
• Dawei Qi,Hoang D. T. Nguyen,Abhik Roychoudhury,Path exploration based on symbolic output.
• Shahar Maoz,Jan Oliver Ringert,Bernhard Rumpe,ADDiff: semantic differencing for activity diagrams.
• Taek Lee,Jaechang Nam,DongGyun Han,Sunghun Kim,Hoh Peter In,Micro interaction metrics for defect prediction.
• Andrew Meneely,Pete Rotella,Laurie Williams,Does adding manpower also affect quality?: an empirical, longitudinal analysis.
• Ahmed Tamrawi,Tung Thanh Nguyen,Jafar M. Al-Kofahi,Tien N. Nguyen,Fuzzy set and cache-based approach for bug triaging.
• Alvin Cheung,Armando Solar-Lezama,Samuel Madden,Partial replay of long-running applications.
• Christoph Treude,Margaret-Anne D. Storey,Effective communication of software development knowledge through community portals.
• Diptikalyan Saha,Mangala Gowri Nanda,Pankaj Dhoolia,V. Krishna Nandivada,Vibha Sinha,Satish Chandra,Fault localization for data-centric programs.
• Rishabh Singh,Armando Solar-Lezama,Synthesizing data structure manipulations from storyboards.
• Simon Holm Jensen,Magnus Madsen,Anders Møller,Modeling the HTML DOM and browser API in static analysis of JavaScript web applications.
• Vilas Jagannath,Milos Gligoric,Dongyun Jin,Qingzhou Luo,Grigore Rosu,Darko Marinov,Improved multithreaded unit testing.
• Rongxin Wu,Hongyu Zhang,Sunghun Kim,Shing-Chi Cheung,ReLink: recovering links between bugs and changes.
• Evan Driscoll,Amanda Burton,Thomas W. Reps,Checking conformance of a producer and a consumer.
• Brian Hackett,Alex Aiken,Inferring data polymorphism in systems code.
• Naeem Esfahani,Ehsan Kouroshfar,Sam Malek,Taming uncertainty in self-adaptive software.
• Christian Bird,Nachiappan Nagappan,Brendan Murphy,Harald C. Gall,Premkumar T. Devanbu,Don't touch my code!: examining the effects of ownership on software quality.
• George K. Baah,Andy Podgurski,Mary Jean Harrold,Mitigating the confounding effects of program dependences for effective fault localization.
• Zuoning Yin,Ding Yuan,Yuanyuan Zhou,Shankar Pasupathy,Lakshmi N. Bairavasundaram,How do fixes become bugs?
• Xiaoxing Ma,Luciano Baresi,Carlo Ghezzi,Valerio Panzica La Manna,Jian Lu,Version-consistent dynamic reconfiguration of component-based distributed systems.
• Kunal Taneja,Mark Grechanik,Rayid Ghani,Tao Xie,Testing software in age of data privacy: a balancing act.
• Stelios Sidiroglou-Douskos,Sasa Misailovic,Henry Hoffmann,Martin C. Rinard,Managing performance vs. accuracy trade-offs with loop perforation.
• Yuriy Brun,Reid Holmes,Michael D. Ernst,David Notkin,Proactive detection of collaboration conflicts.
• Lian Li,Cristina Cifuentes,Nathan Keynes,Boosting the performance of flow-sensitive points-to analysis using value flow.
• Ivan Beschastnikh,Yuriy Brun,Sigurd Schneider,Michael Sloan,Michael D. Ernst,Leveraging existing instrumentation to automatically infer invariant-constrained models.
• Foyzur Rahman,Daryl Posnett,Abram Hindle,Earl T. Barr,Premkumar T. Devanbu,BugCache for inspections: hit or miss?
• Francis Palma,Angelo Susi,Paolo Tonella,Using an SMT solver for interactive requirements prioritization.
• Emad Shihab,Audris Mockus,Yasutaka Kamei,Bram Adams,Ahmed E. Hassan,High-impact defects: a study of breakage and surprise defects.
• Roberto Di Cosmo,Jérôme Vouillon,On software component co-installability.
• Mark Harman,Yue Jia,William B. Langdon,Strong higher order mutation-based test data generation.
• Sven Apel,Jörg Liebig,Benjamin Brandl,Christian Lengauer,Christian Kästner,Semistructured merge: rethinking merge in revision control systems.
• Fabian Beck,Stephan Diehl,On the congruence of modularity and code coupling.
• Shoham Ben-David,Marsha Chechik,Arie Gurfinkel,Sebastián Uchitel,CSSL: a logic for specifying conditional scenarios.
• Corey Jergensen,Anita Sarma,Patrick Wagstrom,The onion patch: migration in open source ecosystems.

2010

• Ahmed M. Elkhodary,Naeem Esfahani,Sam Malek,FUSION: a framework for engineering self-tuning self-adaptive software systems.
• Nishant Sinha,Chao Wang,Staged concurrent program analysis.
• Sushil Krishna Bajracharya,Joel Ossher,Cristina Videira Lopes,Leveraging usage similarity for effective retrieval of examples in code repositories.
• Lian Li,Cristina Cifuentes,Nathan Keynes,Practical and effective symbolic analysis for buffer overflow detection.
• Pallavi Joshi,Mayur Naik,Koushik Sen,David Gay,An effective dynamic analysis for detecting generalized deadlocks.
• Minghui Zhou,Audris Mockus,Developer fluency: achieving true mastery in software projects.
• Audris Mockus,Organizational volatility and its effects on software defects.
• Charles Edwin Killian,Karthik Nagaraj,Salman Pervez,Ryan Braud,James W. Anderson,Ranjit Jhala,Finding latent performance bugs in systems implementations.
• Aditya Kanade,Rajeev Alur,Sriram K. Rajamani,Ganesan Ramalingam,Representation dependence testing using program inversion.
• Nicholas Jalbert,Koushik Sen,A trace simplification technique for effective debugging of concurrent programs.
• Ilenia Epifani,Carlo Ghezzi,Giordano Tamburrelli,Change-point detection for black-box services.
• Shay Litvak,Nurit Dor,Rastislav Bodík,Noam Rinetzky,Mooly Sagiv,Field-sensitive program dependence analysis.
• Cemal Yilmaz,Adam A. Porter,Combining hardware and software instrumentation to classify program executions.
• Antonio Carzaniga,Alessandra Gorla,Nicolò Perino,Mauro Pezzè,Automatic workarounds for web applications.
• Ming Wu,Fan Long,Xi Wang,Zhilei Xu,Haoxiang Lin,Xuezheng Liu,Zhenyu Guo,Huayang Guo,Lidong Zhou,Zheng Zhang,Language-based replay via data flow cut.
• Hadi Hemmati,Lionel C. Briand,Andrea Arcuri,Shaukat Ali,An enhanced test case selection approach for model-based testing: an industrial case study.
• Barthélémy Dagenais,Martin P. Robillard,Creating and evolving developer documentation: understanding the decisions of open source contributors.
• Zhihong Xu,Yunho Kim,Moonzoo Kim,Gregg Rothermel,Myra B. Cohen,Directed test suite augmentation: techniques and tradeoffs.
• Jocelyn Simmonds,Shoham Ben-David,Marsha Chechik,Guided recovery for web service applications.
• Mark Gabel,Zhendong Su,A study of the uniqueness of source code.
• Jeff Huang,Peng Liu,Charles Zhang,LEAP: lightweight deterministic multi-processor replay of concurrent java programs.
• Guodong Li,Ganesh Gopalakrishnan,Scalable SMT-based verification of GPU kernel functions.
• William N. Sumner,Xiangyu Zhang,Memory indexing: canonicalizing addresses across executions.
• Narayan Ramasubbu,Rajesh Krishna Balan,Evolution of a bluetooth test application product line: a case study.
• Wei Le,Mary Lou Soffa,Path-based fault correlations.
• Mu-Woong Lee,Jong-Won Roh,Seung-won Hwang,Sunghun Kim,Instant code clone search.
• Bradley Cossette,Robert J. Walker,DSketch: lightweight, adaptable dependency analysis.
• Xiaoyin Wang,Lu Zhang,Tao Xie,Hong Mei,Jiasu Sun,Locating need-to-translate constant strings in web applications.
• Sylvain Hallé,Tevfik Bultan,Realizability analysis for message-based interactions using shared-state projections.
• Nicolás D'Ippolito,Víctor A. Braberman,Nir Piterman,Sebastián Uchitel,Synthesis of live behaviour models.
• Francesco Sorrentino,Azadeh Farzan,P. Madhusudan,PENELOPE: weaving threads to expose atomicity violations.
• Adrian Bachmann,Christian Bird,Foyzur Rahman,Premkumar T. Devanbu,Abraham Bernstein,The missing links: bugs and bug-fix commits.
• Ansuman Banerjee,Abhik Roychoudhury,Johannes A. Harlie,Zhenkai Liang,Golden implementation driven software debugging.

2009

• B. Ashok,Joseph M. Joy,Hongkang Liang,Sriram K. Rajamani,Gopal Srinivasa,Vipindeep Vangala,DebugAdvisor: a recommender system for debugging.
• Gaeul Jeong,Sunghun Kim,Thomas Zimmermann,Improving bug triage with bug tossing graphs.
• Cristina Videira Lopes,The massification and webification of systems' modeling and simulation with virtual worlds.
• Ivo Krka,Yuriy Brun,George Edwards,Nenad Medvidovic,Synthesizing partial component-level behavior models from system specifications.
• Jason Belt,Robby,Xianghua Deng,Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.
• Giovanni Denaro,Mauro Pezzè,Davide Tosi,Ensuring interoperable service-oriented systems through engineered self-healing.
• Marian Petre,Insights from expert software design practice.
• Cor-Paul Bezemer,Ali Mesbah,Arie van Deursen,Automated security testing of web widget interactions.
• Jan Wloka,Manu Sridharan,Frank Tip,Refactoring for reentrancy.
• Marcel Bruch,Martin Monperrus,Mira Mezini,Learning from examples to improve code completion systems.
• Lars Grunske,Pengcheng Zhang,Monitoring probabilistic properties.
• Jacob Burnim,Koushik Sen,Asserting and checking determinism for multithreaded programs.
• Suresh Thummalapenta,Tao Xie,Nikolai Tillmann,Jonathan de Halleux,Wolfram Schulte,MSeqGen: object-oriented unit-test generation via mining source code.
• Marco Brambilla,Stefano Ceri,Engineering search computing applications: vision and challenges.
• Benjamin Delaware,William R. Cook,Don S. Batory,Fitting the pieces together: a machine-checked model of safe composition.
• Elena Sherman,Matthew B. Dwyer,Sebastian G. Elbaum,Saturation-based testing of concurrent programs.
• Lijun Mei,W. K. Chan,T. H. Tse,Data flow testing of service choreography.
• Yingfei Xiong,Zhenjiang Hu,Haiyan Zhao,Hui Song,Masato Takeichi,Hong Mei,Supporting automatic model inconsistency fixing.
• Esteban Pavese,Víctor A. Braberman,Sebastián Uchitel,Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.
• Valeria Cardellini,Emiliano Casalicchio,Vincenzo Grassi,Francesco Lo Presti,Raffaela Mirandola,Qos-driven runtime adaptation of service oriented architectures.
• Cesare Bartolini,Antonia Bertolino,Sebastian G. Elbaum,Eda Marchetti,Whitening SOA testing.
• Antonia Bertolino,Paola Inverardi,Patrizio Pelliccione,Massimo Tivoli,Automatic synthesis of behavior protocols for composable web-services.
• Dawei Qi,Abhik Roychoudhury,Zhenkai Liang,Kapil Vaswani,Darwin: an approach for debugging evolving programs.
• Aharon Abadi,Ran Ettinger,Yishai A. Feldman,Improving slice accuracy by compression of data and control flow paths.
• Thomas Zimmermann,Nachiappan Nagappan,Harald C. Gall,Emanuel Giger,Brendan Murphy,Cross-project defect prediction: a large scale experiment on data vs. domain vs. process.
• Pradeep Varma,R. K. Shyamasundar,Harshit J. Shah,Backward-compatible constant-time exception-protected memory.
• Vineet Kahlon,Nishant Sinha,Erik Kruus,Yun Zhang,Static data race detection for concurrent programs with asynchronous calls.
• David Lo,Leonardo Mariani,Mauro Pezzè,Automatic steering of behavioral model inference.
• Chao Wang,Swarat Chaudhuri,Aarti Gupta,Yu Yang,Symbolic pruning of concurrent program executions.
• Marcelo Cataldo,Sangeeth Nambiar,On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality.
• Christian Bird,Adrian Bachmann,Eirik Aune,John Duffy,Abraham Bernstein,Vladimir Filkov,Premkumar T. Devanbu,Fair and balanced?: bias in bug-fix datasets.
• Fan Long,Xi Wang,Yang Cai,Api hyperlinking via structural overlap.
• Youssef Hanna,Samik Basu,Hridesh Rajan,Behavioral automata composition for automatic topology independent verification of parameterized systems.
• Tung Thanh Nguyen,Hoan Anh Nguyen,Nam H. Pham,Jafar M. Al-Kofahi,Tien N. Nguyen,Graph-based mining of multiple object usage patterns.
• Zhenyu Zhang,Wing Kwong Chan,T. H. Tse,Bo Jiang,Xinming Wang,Capturing propagation of infected program states.

2008

• Dave King,Trent Jaeger,Somesh Jha,Sanjit A. Seshia,Effective blame for information-flow violations.
• Lingxiao Jiang,Zhendong Su,Profile-guided program simplification for effective testing and analysis.
• Andrew Meneely,Laurie Williams,Will Snipes,Jason A. Osborne,Predicting failures with developer networks and social network analysis.
• Bruno Dufour,Barbara G. Ryder,Gary Sevitsky,A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications.
• Yigit Kultur,Burak Turhan,Ayse Basar Bener,ENNA: software effort estimation using ensemble of neural networks with associative memory.
• Jeffrey Stylos,Brad A. Myers,The implications of method placement on API learnability.
• Suzette Person,Matthew B. Dwyer,Sebastian G. Elbaum,Corina S. Pasareanu,Differential symbolic execution.
• Anita Sarma,David F. Redmiles,André van der Hoek,Empirical evidence of the benefits of workspace awareness in software configuration management.
• Leon J. Osterweil,Lori A. Clarke,Aaron M. Ellison,Rodion M. Podorozhny,Alexander E. Wise,Emery R. Boose,Julian L. Hadley,Experience in using a process language to define scientific workflow and generate dataset provenance.
• Franco Raimondi,James Skene,Wolfgang Emmerich,Efficient online monitoring of web-service SLAs.
• Zhifeng Lai,Shing-Chi Cheung,Wing Kwong Chan,Inter-context control-flow and data-flow test adequacy criteria for nesC applications.
• Chang-Seo Park,Koushik Sen,Randomized active atomicity violation detection in concurrent programs.
• Rylan Cottrell,Robert J. Walker,Jörg Denzinger,Semi-automating small-scale source code reuse via structural correspondence.
• Barthélémy Dagenais,Harold Ossher,Automatically locating framework extension examples.
• Shiva Nejati,Mehrdad Sabetzadeh,Marsha Chechik,Sebastián Uchitel,Pamela Zave,Towards compositional synthesis of evolving systems.
• Andhy Koesnandar,Sebastian G. Elbaum,Gregg Rothermel,Lorin Hochstein,Christopher Scaffidi,Kathryn T. Stolee,Using assertions to help end-user programmers create dependable web macros.
• William G. J. Halfond,Alessandro Orso,Automated identification of parameter mismatches in web applications.
• Eric Bodden,Patrick Lam,Laurie J. Hendren,Finding programming errors earlier by evaluating runtime monitors ahead-of-time.
• Christian Bird,David S. Pattison,Raissa M. D'Souza,Vladimir Filkov,Premkumar T. Devanbu,Latent social structure in open source projects.
• V. Benjamin Livshits,Emre Kiciman,Doloto: code splitting for network-bound web 2.0 applications.
• Shriram Krishnamurthi,Kathi Fisler,Daniel J. Dougherty,Daniel Yoo,Alchemy: transmuting base alloy specifications into implementations.
• Martin Pinzger,Nachiappan Nagappan,Brendan Murphy,Can developer-module networks predict failures?
• Fang Yu,Chao Wang,Aarti Gupta,Tevfik Bultan,Modular verification of web services using efficient symbolic encoding and summarization.
• Christopher Dragert,Jürgen Dingel,Karen Rudie,Generation of concurrency control code using discrete-event systems theory.
• Dario Fischbein,Sebastián Uchitel,On correct and complete strong merging of partial behaviour models.
• Axel van Lamsweerde,Requirements engineering: from craft to discipline.
• Wei Le,Mary Lou Soffa,Marple: a demand-driven path-sensitive buffer overflow detector.
• Michele Sama,David S. Rosenblum,Zhimin Wang,Sebastian G. Elbaum,Model-based fault detection in context-aware adaptive applications.
• Zhiqiang Lin,Xiangyu Zhang,Deriving input syntactic structure from execution.
• Hyunsook Do,Siavash Mirarab,Ladan Tahvildari,Gregg Rothermel,An empirical study of the effect of time constraints on the cost-benefits of regression testing.
• Mark Gabel,Zhendong Su,Javert: fully automatic mining of general temporal properties from dynamic traces.
• Nicolas Bettenburg,Sascha Just,Adrian Schröter,Cathrin Weiss,Rahul Premraj,Thomas Zimmermann,What makes a good bug report?

2007

• Walt Scacchi,Free/open source software development.
• Moshood Omolade Saliu,Günther Ruhe,Bi-objective release planning for evolving software systems.
• Matteo Pradella,Angelo Morzenti,Pierluigi San Pietro,The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
• Roumen Nikolov,Sylvia Ilieva,Building a research university ecosystem: the case of software engineering education at Sofia University.
• Lingxiao Jiang,Zhendong Su,Edwin Chiu,Context-based detection of clone-related bugs.
• Minh Ngoc Ngo,Hee Beng Kuan Tan,Detecting large number of infeasible paths through recognizing their patterns.
• Abhik Roychoudhury,Ankit Goel,Bikram Sengupta,Symbolic message sequence charts.
• Fang Yu,Tevfik Bultan,Erik Peterson,Automated size analysis for OCL.
• Yunwen Ye,Yasuhiro Yamamoto,Kumiyo Nakakoji,A socio-technical framework for supporting programmers.
• Roberta Calegari,Mirco Musolesi,Franco Raimondi,Cecilia Mascolo,CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems.
• Jacky Estublier,Germán Vega,Reconciling software configuration management and product data management.
• Julian Dolby,Mandana Vaziri,Frank Tip,Finding bugs efficiently with a SAT solver.
• Marta Z. Kwiatkowska,Quantitative verification: models techniques and tools.
• Chunyang Ye,S. C. Cheung,W. K. Chan,Chang Xu,Detection and resolution of atomicity violation in service composition.
• Rylan Cottrell,Joseph J. C. Chang,Robert J. Walker,Jörg Denzinger,Determining detailed structural correspondence for generalization tasks.
• Sasa Misailovic,Aleksandar Milicevic,Nemanja Petrovic,Sarfraz Khurshid,Darko Marinov,Parallel test generation and execution with Korat.
• Howard Foster,Wolfgang Emmerich,Jeff Kramer,Jeff Magee,David S. Rosenblum,Sebastián Uchitel,Model checking service compositions under resource constraints.
• Asim El-Sheikh,Haroon Tarawneh,A survey of web engineering practice in small Jordanian web development firms.
• Leticia Duboc,David S. Rosenblum,Tony Wicks,A framework for characterization and analysis of software system scalability.
• Fernando Silva Parreiras,Steffen Staab,Andreas Winter,On marrying ontological and metamodeling technical spaces.
• Zachary M. Saul,Vladimir Filkov,Premkumar T. Devanbu,Christian Bird,Recommending random walks.
• Andrzej Wasylkowski,Andreas Zeller,Christian Lindig,Detecting object usage anomalies.
• Guoqing (Harry) Xu,Atanas Rountev,Yan Tang,Feng Qin,Efficient checkpointing of java software using context-sensitive capture and replay.
• Mark Harman,Youssef Hassoun,Kiran Lakhotia,Phil McMinn,Joachim Wegener,The impact of input domain reduction on search-based test data generation.
• Andreas Leitner,Ilinca Ciupa,Manuel Oriol,Bertrand Meyer,Arno Fiva,Contract driven development = test driven development - writing test cases.
• Osamu Mizuno,Tohru Kikuno,Training on errors experiment to detect fault-prone software modules by spam filter.
• Felix Klar,Alexander Königs,Andy Schürr,Model transformation in the large.
• Lerina Aversano,Gerardo Canfora,Luigi Cerulo,Concettina Del Grosso,Massimiliano Di Penta,An empirical study on the evolution of design patterns.
• Brett Daniel,Danny Dig,Kely Garcia,Darko Marinov,Automated testing of refactoring engines.
• Jan Wen Voung,Ranjit Jhala,Sorin Lerner,RELAY: static race detection on millions of lines of code.
• Christoph Treude,Stefan Berlik,Sven Wenzel,Udo Kelter,Difference computation of large models.
• Macneil Shonle,William G. Griswold,Sorin Lerner,Beyond refactoring: a framework for modular maintenance of crosscutting design idioms.
• Simon Goldsmith,Alex Aiken,Daniel Shawcross Wilkerson,Measuring empirical computational complexity.
• Sriram Sankaranarayanan,Richard M. Chang,Guofei Jiang,Franjo Ivancic,State space exploration using feedback constraint generation and Monte-Carlo sampling.
• Justin R. Erenkrantz,Michael M. Gorlick,Girish Suryanarayana,Richard N. Taylor,From representations to computations: the evolution of web architectures.
• Hazeline U. Asuncion,Frédéric François,Richard N. Taylor,An end-to-end industrial software traceability tool.
• Elaine J. Weyuker,Software engineering research: from cradle to grave.
• William G. J. Halfond,Alessandro Orso,Improving test case generation for web applications using automated interface discovery.
• Narayan Ramasubbu,Rajesh Krishna Balan,Globally distributed software development project performance: an empirical analysis.
• Mihai Christodorescu,Somesh Jha,Christopher Kruegel,Mining specifications of malicious behavior.
• Thomas D. LaToza,David Garlan,James D. Herbsleb,Brad A. Myers,Program comprehension as fact finding.
• Sunghun Kim,Michael D. Ernst,Which warnings should I fix first?
• Manzil e Maqsood,Talha Javed,Practicum in software project management: an endeavor to effective and pragmatic software project management education.
• Thomas Fritz,Gail C. Murphy,Emily Hill,Does a programmer's activity indicate knowledge of code?
• Yoav Zibin,Alex Potanin,Mahmood Ali,Shay Artzi,Adam Kiezun,Michael D. Ernst,Object and reference immutability using java generics.
• Mark Grechanik,Kathryn S. McKinley,Dewayne E. Perry,Recovering and using use-case-diagram-to-source-code traceability links.
• Jamie Payton,Christine Julien,Gruia-Catalin Roman,Automatic consistency assessment for query results in dynamic environments.
• Prakash Chandrasekaran,Christopher L. Conway,Joseph M. Joy,Sriram K. Rajamani,Programming asynchronous layers with CLARITY.
• Mithun Acharya,Tao Xie,Jian Pei,Jun Xu,Mining API patterns as partial orders from source code: from usage scenarios to specifications.

2006

• Ranjit Jhala,Rupak Majumdar,Bit level types for high level reasoning.
• Maximilian Störzer,Barbara G. Ryder,Xiaoxia Ren,Frank Tip,Finding failure-inducing changes in java programs using change classification.
• Mana Taghdiri,Robert Seater,Daniel Jackson,Lightweight extraction of syntactic specifications.
• Rachel L. Cobleigh,George S. Avrunin,Lori A. Clarke,User guidance for creating precise and accessible property specifications.
• Deepak Kapur,Rupak Majumdar,Calogero G. Zarba,Interpolation for data structures.
• Matthew J. Rutherford,Antonio Carzaniga,Alexander L. Wolf,Simulation-based test adequacy criteria for distributed systems.
• Jonathan Sillito,Gail C. Murphy,Kris De Volder,Questions programmers ask during software evolution tasks.
• William G. J. Halfond,Alessandro Orso,Panagiotis Manolios,Using positive tainting and syntax-aware evaluation to counter SQL injection attacks.
• Hyunsook Do,Gregg Rothermel,An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models.
• Brian Hackett,Alex Aiken,How is aliasing used in systems software?
• Christophe Damas,Bernard Lambeau,Axel van Lamsweerde,Scenarios, goals, and state machines: a win-win partnership for model synthesis.
• Shahar Maoz,David Harel,From multi-modal scenarios to code: compiling LSCs into aspectJ.
• Sebastian G. Elbaum,Hui Nee Chin,Matthew B. Dwyer,Jonathan Dokulil,Carving differential unit test cases from system test cases.
• Heng Lu,W. K. Chan,T. H. Tse,Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation.
• Olivier Giroux,Martin P. Robillard,Detecting increases in feature coupling using regression tests.
• T. H. Ng,S. C. Cheung,W. K. Chan,Yuen-Tak Yu,Work experience versus refactoring to design patterns: a controlled experiment.
• Mik Kersten,Gail C. Murphy,Using task context to improve programmer productivity.
• David Lo,Siau-Cheng Khoo,SMArTIC: towards building an accurate, robust and scalable specification miner.
• Sunghun Kim,Kai Pan,E. James Whitehead Jr.,Memories of bug fixes.
• Chunyang Ye,S. C. Cheung,W. K. Chan,Chang Xu,Local analysis of atomicity sphere for B2B collaboration.
• Bhargav S. Gulavani,Thomas A. Henzinger,Yamini Kannan,Aditya V. Nori,Sriram K. Rajamani,SYNERGY: a new algorithm for property checking.
• Fernando Castor Filho,Nélio Cacho,Eduardo Figueiredo,Raquel Maranhão,Alessandro Garcia,Cecília M. F. Rubira,Exceptions and aspects: the devil is in the details.
• Chao Liu,Jiawei Han,Failure proximity: a fault localization-based approach.
• Xiangyu Zhang,Sriraman Tallam,Rajiv Gupta,Dynamic slicing long running programs through execution fast forwarding.
• Matthew B. Dwyer,Suzette Person,Sebastian G. Elbaum,Controlling factors in evaluating path-sensitive error detection techniques.

2005

• Manos Renieris,Shashank Ramaprasad,Steven P. Reiss,Arithmetic program paths.
• Xiangyu Zhang,Rajiv Gupta,Matching execution histories of program versions.
• Thomas A. Henzinger,Ranjit Jhala,Rupak Majumdar,Permissive interfaces.
• Kevin Bierhoff,Jonathan Aldrich,Lightweight object specification with typestates.
• Kevin J. Sullivan,William G. Griswold,Yuanyuan Song,Yuanfang Cai,Macneil Shonle,Nishit Tewari,Hridesh Rajan,Information hiding interfaces for aspect-oriented design.
• Margus Veanes,Colin Campbell,Wolfram Schulte,Nikolai Tillmann,Online testing with model programs.
• Jeffrey Fischer,Ranjit Jhala,Rupak Majumdar,Joining dataflow with predicates.
• V. Benjamin Livshits,Thomas Zimmermann,DynaMine: finding common error patterns by mining software revision histories.
• Renaud De Landtsheer,Axel van Lamsweerde,Reasoning about confidentiality at requirements engineering time.
• Miryung Kim,Vibha Sazawal,David Notkin,Gail C. Murphy,An empirical study of code clone genealogies.
• Bill McCloskey,Eric A. Brewer,ASTEC: a new approach to refactoring C.
• Emmanuel Letier,Jeff Kramer,Jeff Magee,Sebastián Uchitel,Fluent temporal logic for discrete-time event-based models.
• Paul Baker,Paul Bristow,Clive Jervis,David J. King,Robert Thomson,Bill Mitchell,Simon Burton,Detecting and resolving semantic pathologies in UML sequence diagrams.
• Hamid Abdul Basit,Stan Jarzabek,Detecting higher-level similarity patterns in programs.
• Viktor Kuncak,Daniel Jackson,Relational analysis of algebraic datatypes.
• Matthias Heindl,Stefan Biffl,A case study on value-based requirements tracing.
• Kavitha Srinivas,Harini Srinivasan,Summarizing application performance from a components perspective.
• Jacky Estublier,Germán Vega,Reuse and variability in large software applications.
• Koushik Sen,Darko Marinov,Gul Agha,CUTE: a concolic unit testing engine for C.
• Martin P. Robillard,Automatic generation of suggestions for program investigation.
• Nikolai Tillmann,Wolfram Schulte,Parameterized unit tests.
• Chao Liu,Xifeng Yan,Long Fei,Jiawei Han,Samuel P. Midkiff,SOBER: statistical model-based bug localization.
• Chang Xu,Shing-Chi Cheung,Inconsistency detection and resolution for context-aware middleware support.
• Zhenmin Li,Yuanyuan Zhou,PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code.
• Jorge Aranda,Steve M. Easterbrook,Anchoring and adjustment in software estimation.
• Edu Metz,Raimondas Lencevicius,Teofilo F. Gonzalez,Performance data collection using a hybrid approach.
• Junrong Shen,Xi Sun,Gang Huang,Wenpin Jiao,Yanchun Sun,Hong Mei,Towards a unified formal model for supporting mechanisms of dynamic component update.
• Ulf Pettersson,Stan Jarzabek,Industrial experience with building a web portal product line using a lightweight, reactive approach.
• Jennifer Bevan,E. James Whitehead Jr.,Sunghun Kim,Michael W. Godfrey,Facilitating software evolution research with kenyon.
• Yichen Xie,Alexander Aiken,Context- and path-sensitive memory leak detection.
• Murali Haran,Alan F. Karr,Alessandro Orso,Adam A. Porter,Ashish P. Sanil,Applying classification techniques to remotely-collected program execution data.
• Lorin Hochstein,Victor R. Basili,Marvin V. Zelkowitz,Jeffrey K. Hollingsworth,Jeffrey Carver,Combining self-reported and automatic data to improve programming effort measurement.

2004

• Paul Luo Li,Mary Shaw,James D. Herbsleb,Bonnie K. Ray,Peter Santhanam,Empirical evaluation of defect projection models for widely-deployed production software systems.
• Jürgen Dingel,Hongzhi Liang,Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
• Jeff H. Perkins,Michael D. Ernst,Efficient incremental algorithms for dynamic detection of likely invariants.
• Ted Kremenek,Ken Ashcraft,Junfeng Yang,Dawson R. Engler,Correlation exploitation in error ranking.
• Wei Xu,Daniel C. DuVarney,R. Sekar,An efficient and backwards-compatible transformation to ensure memory safety of C programs.
• Mira Mezini,Klaus Ostermann,Variability management with feature-oriented programming and aspects.
• Sagar Chaki,Alex Groce,Ofer Strichman,Explaining abstract counterexamples.
• Robert J. Walker,Kevin Viggers,Implementing protocols via declarative event patterns.
• Cleidson R. B. de Souza,David F. Redmiles,Li-Te Cheng,David R. Millen,John F. Patterson,How a good software practice thwarts collaboration: the multiple roles of APIs in software development.
• Xiaofang Zhang,Michal Young,John Howard Eli Fiskio-Lasseter,Refining code-design mapping with flow analysis.
• Holger Giese,Sven Burmester,Wilhelm Schäfer,Oliver Oberschelp,Modular design and verification of component-based mechatronic systems with online-reconfiguration.
• Licia Capra,Engineering human trust in mobile system collaborations.
• Alexander Egyed,Resolving uncertainties during trace analysis.
• Nancy G. Leveson,Kathryn Anne Weiss,Making embedded software reuse practical and safe.
• Misha Zitser,Richard Lippmann,Tim Leek,Testing static analysis tools using exploitable buffer overflows from open source code.
• Shriram Krishnamurthi,Kathi Fisler,Michael Greenberg,Verifying aspect advice modularly.
• Alessandro Orso,Nanjuan Shi,Mary Jean Harrold,Scaling regression testing to large software systems.
• María José Suárez Cabal,Javier Tuya,Using an SQL coverage measurement for testing database applications.
• Martin C. Rinard,Alexandru Salcianu,Suhabe Bugrara,A classification system and analysis for aspect-oriented programs.
• Sebastián Uchitel,Robert Chatley,Jeff Kramer,Jeff Magee,System architecture: the context for scenario-based model synthesis.
• Ying Pan,Lei Wang,Lu Zhang,Bing Xie,Fuqing Yang,Relevancy based semantic interoperation of reuse repositories.
• Jonathan Edwards,Daniel Jackson,Emina Torlak,A type system for object models.
• Sebastián Uchitel,Marsha Chechik,Merging partial behavioural models.
• Emmanuel Letier,Axel van Lamsweerde,Reasoning about partial goal satisfaction for requirements and design engineering.
• Roman Manevich,Manu Sridharan,Stephen Adams,Manuvir Das,Zhe Yang,PSE: explaining program failures via postmortem static analysis.
• Jianbin Tan,George S. Avrunin,Lori A. Clarke,Shlomo Zilberstein,Stefan Leue,Heuristic-guided counterexample search in FLAVERS.

2003

• Hridesh Rajan,Kevin J. Sullivan,Eos: instance-level aspects for integrated system design.
• Stephen McCamant,Michael D. Ernst,Predicting problems caused by component upgrades.
• Yung-Pin Cheng,Michal Young,Che-Ling Huang,Chia-Yi Pan,Towards scalable compositional analysis by refactoring design models.
• Petri Selonen,Jianli Xu,Validating UML models against architectural profiles.
• Matthias M. Müller,Frank Padberg,On the economic evaluation of XP projects.
• Ralph D. Jeffords,Constance L. Heitmeyer,A strategy for efficiently verifying requirements.
• Dimitra Giannakopoulou,Jeff Magee,Fluent model checking for event-based systems.
• Oksana Tkachuk,Matthew B. Dwyer,Adapting side effects analysis for modular program model checking.
• Yichen Xie,Andy Chou,Dawson R. Engler,ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
• Sebastián Uchitel,Jeff Kramer,Jeff Magee,Behaviour model elaboration using partial labelled transition systems.
• Tore Dybå,Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context.
• Suan Hsi Yong,Susan Horwitz,Protecting C programs from attacks via invalid pointer dereferences.
• Nguyen Tran Sy,Yves Deville,Consistency techniques for interprocedural test data generation.
• Claus Pahl,Michael Casey,Ontology support for web service processes.
• Jens Krinke,Context-sensitive slicing of concurrent programs.
• Dirk Ohst,Michael Welle,Udo Kelter,Differences between versions of UML diagrams.
• Fei Xie,James C. Browne,Verified systems by composition from verified components.
• Gregory M. Kapfhammer,Mary Lou Soffa,A family of test adequacy criteria for database-driven applications.
• Dennis Brylow,Jens Palsberg,Deadline analysis of interrupt-driven software.
• Robby,Matthew B. Dwyer,John Hatcliff,Bogor: an extensible and highly-modular software model checking framework.
• Stan Jarzabek,Shubiao Li,Eliminating redundancies with a "composition with adaptation" meta-programming technique.
• V. Benjamin Livshits,Monica S. Lam,Tracking pointers with path and context sensitivity for bug detection in C programs.
• Giovanni Vigna,Fredrik Valeur,Richard A. Kemmerer,Designing and implementing a family of intrusion detection systems.
• Luciano Baresi,Reiko Heckel,Sebastian Thöne,Dániel Varró,Modeling and validation of service-oriented architectures: application vs. style.
• João W. Cangussu,Raymond A. DeCarlo,Aditya P. Mathur,Monitoring the software test process using statistical process control: a logarithmic approach.
• Alessandro Orso,Taweesup Apiwattanapong,Mary Jean Harrold,Leveraging field data for impact analysis and regression testing.
• Jeremy S. Bradbury,Jürgen Dingel,Evaluating and improving the automatic analysis of implicit invocation systems.
• Koushik Sen,Grigore Rosu,Gul Agha,Runtime safety analysis of multithreaded programs.
• Jukka Viljamaa,Reverse engineering framework reuse interfaces.
• Atif M. Memon,Mary Lou Soffa,Regression testing of GUIs.
• Holger Giese,Matthias Tichy,Sven Burmester,Stephan Flake,Towards the compositional verification of real-time UML designs.
• Don S. Batory,Jia Liu,Jacob Neal Sarvela,Refinements and multi-dimensional separation of concerns.

2002

• Harry C. Li,Shriram Krishnamurthi,Kathi Fisler,Verifying cross-cutting features as open systems.
• Sebastián Uchitel,Jeff Kramer,Jeff Magee,Negative scenarios for implied scenario elicitation.
• Gerard J. Holzmann,The logic of bugs.
• Emmanuel Letier,Axel van Lamsweerde,Deriving operational software specifications from system goals.
• Jeremy W. Nimmer,Michael D. Ernst,Invariant inference for static checking.
• Arie Gurfinkel,Benet Devereux,Marsha Chechik,Model exploration with temporal logic query checking.
• Glenn Bruns,Satish Chandra,Searching for points-to analysis.
• Jianwei Niu,Joanne M. Atlee,Nancy A. Day,Composable semantics for model-based notations.
• Christine Julien,Gruia-Catalin Roman,Egocentric context-aware programming in ad hoc mobile environments.
• Jamieson M. Cobleigh,Leon J. Osterweil,Alexander E. Wise,Barbara Staudt Lerner,Containment units: a hierarchically composable architecture for adaptive systems.
• Monika Vetterling,Guido Wimmel,Alexander K. Wißpeintner,Secure systems development based on the common criteria: the PalME project.
• Bikram Sengupta,Rance Cleaveland,Triggered message sequence charts.
• Andreas Zeller,Isolating cause-effect chains from computer programs.
• Licia Capra,Wolfgang Emmerich,Cecilia Mascolo,A micro-economic approach to conflict resolution in mobile computing.
• Yichen Xie,Dawson R. Engler,Using redundancies to find errors.
• Mark Chu-Carroll,James L. Wright,David Shields,Supporting aggregation in fine grained software configuration management.
• Markus Mock,Darren C. Atkinson,Craig Chambers,Susan J. Eggers,Improving program slicing with dynamic points-to data.
• Antónia Lopes,José Luiz Fiadeiro,Michel Wermelinger,Architectural primitives for distribution and mobility.

2001

• Luigi Lavazza,Gabriele Quaroni,Matteo Venturelli,Combining UML and formal notations for modelling real-time systems.
• Paola Inverardi,Massimo Tivoli,Automatic synthesis of deadlock free connectors for COM/DCOM applications.
• Forrest Shull,Jeffrey Carver,Guilherme Travassos,An empirical methodology for introducing software processes.
• André van der Hoek,Marija Mikic-Rakic,Roshanak Roshandel,Nenad Medvidovic,Taming architectural evolution.
• Bernd G. Freimut,Susanne Hartkopf,Peter Kaiser,Jyrki Kontio,Werner Kobitzsch,An industrial case study of implementing software risk management.
• Yoshitomi Morisawa,Koji Torii,An architectural style of product lines for distributed processing systems, and practical selection method.
• Robert Bruce Findler,Mario Latendresse,Matthias Felleisen,Behavioral contracts and behavioral subtyping.
• Yunja Choi,Sanjai Rayadurgam,Mats Per Erik Heimdahl,Automatic abstraction for model checking software systems with interrelated numeric constraints.
• Leigh A. Davis,Rose F. Gamble,Jamie Payton,Gerður Jónsdóttir,Dennis J. Underwood,A notation for problematic architecture interactions.
• Yvonne Coady,Gregor Kiczales,Michael J. Feeley,Greg Smolyn,Using aspectC to improve the modularity of path-specific customization in operating system code.
• Luca de Alfaro,Thomas A. Henzinger,Interface automata.
• Chris Lüer,David S. Rosenblum,WREN---an environment for component-based development.
• Jens H. Jahnke,Engineering component-based net-centric systems for embedded applications.
• Reidar Conradi,Tore Dybå,An empirical study on the utility of formal routines to transfer knowledge and experience.
• Atif M. Memon,Mary Lou Soffa,Martha E. Pollack,Coverage criteria for GUI testing.
• Norman Ramsey,Elöd Csirmaz,An algebraic approach to file synchronization.
• Alberto Coen-Porisini,Giovanni Denaro,Carlo Ghezzi,Mauro Pezzè,Using symbolic execution for verifying safety-critical systems.
• Gregor Engels,Jochen Malte Küster,Reiko Heckel,Luuk Groenewegen,A methodology for specifying and analyzing consistency of object-oriented behavioral models.
• Kathi Fisler,Shriram Krishnamurthi,Modular verification of collaboration-based software designs.
• Daniel Jackson,Ilya Shlyakhter,Manu Sridharan,A micromodularity mechanism.
• Michel Wermelinger,Antónia Lopes,José Luiz Fiadeiro,A graph based architectural (Re)configuration language.
• Ramesh Jagannathan,Paolo A. G. Sivilotti,Increasing client-side confidence in remote component implementations.
• Nima Kaveh,Wolfgang Emmerich,Deadlock detection in distribution object systems.
• Sebastián Uchitel,Jeff Kramer,Jeff Magee,Detecting implied scenarios in message sequence chart specifications.
• Timothy J. Sliski,Matthew P. Billmers,Lori A. Clarke,Leon J. Osterweil,An architecture for flexible, evolvable process-driven user-guidance environments.
• Kevin J. Sullivan,William G. Griswold,Yuanfang Cai,Ben Hallen,The structure and value of modularity in software design.
• William Dickinson,David Leon,Andy Podgurski,Pursuing failure: the distribution of program failures in a profile space.
• Jon Edvardsson,Mariam Kamkar,Analysis of the constraint solver in UNA based test data generation.

2000

• Tetsuo Yamamoto,Makoto Matsushita,Katsuro Inoue,Accumulative versioning file system Moraine and its application to metrics environment MAME.
• Mark Chu-Carroll,Sara Sprenkle,Coven: brewing better collaboration through software configuration management.
• Martin P. Robillard,Gail C. Murphy,Designing robust Java programs with exceptions.
• Robert J. Walker,Gail C. Murphy,Implicit context: easing software evolution and reuse.
• Atif M. Memon,Martha E. Pollack,Mary Lou Soffa,Automated test oracles for GUIs.
• Patrice Godefroid,Lalita Jategaonkar Jagadeesan,Radha Jagadeesan,Konstantin Läufer,Automated systematic testing for constraint-based interactive services.
• Marco Bernardo,Paolo Ciancarini,Lorenzo Donatiello,On the formalization of architectural types with process algebras.
• Joseph E. Hollingsworth,Lori Blankenship,Bruce W. Weide,Experience report: using RESOLVE/C++ for commercial software.
• Gleb Naumovich,Lori A. Clarke,Classifying properties: an alternative to the safety-liveness classification.
• Daniel Jackson,Kevin J. Sullivan,COM revisited: tool-assisted modelling of an architectural framework.
• Daniel Jackson,Automating first-order relational logic.
• Yunwen Ye,Gerhard Fischer,Brent Reeves,Integrating active information delivery and reuse repository systems.
• Jonathan D. Hay,Joanne M. Atlee,Composing features and resolving interactions.
• Peter F. Sweeney,Frank Tip,Extracting library-based object-oriented applications.
• Reimer Behrends,Kurt Stirewalt,The universe model: an approach for improving the modularity and reliability of concurrent programs.
• Gerald Lüttgen,Michael von der Beeck,Rance Cleaveland,A compositional approach to statecharts semantics.
• Sergey Butkevich,Marco Renedo,Gerald Baumgartner,Michal Young,Compiler and tool support for debugging object protocols.

1998

• Shriram Krishnamurthi,Matthias Felleisen,Toward a Formal Theory of Extensible Software.
• Darren C. Atkinson,William G. Griswold,Effective Whole-Program Analysis in the Presence of Pointers.
• Michael Karasick,The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++.
• Daniel Jackson,An Intermedicate Design Language and Its Analysis.
• Matthew B. Dwyer,Corina S. Pasareanu,Filter-Based Model Checking of Partial Systems.
• Sylvia Stuurman,Jan van Katwijk,On-Line Change Mechanisms.
• Philip W. L. Fong,Robert D. Cameron,Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code.
• Perdita Stevens,Rob Pooley,Systems Reengineering Patterns.
• Jonathan E. Cook,Alexander L. Wolf,Event-Base Detection of Concurrency.
• Ralph D. Jeffords,Constance L. Heitmeyer,Automatic Generation of State Invariants from Requirements Specifications.
• Rajeev Alur,Mihalis Yannakakis,Model Checking of Hierarchical State Machines.
• Jyrki Kontio,Gerhard Getto,Dieter Landes,Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method.
• Anne M. Disney,Philip M. Johnson,Investigation Data Quality Problems in the PSP.
• Gleb Naumovich,George S. Avrunin,A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.
• Neelam Gupta,Aditya P. Mathur,Mary Lou Soffa,Automated Test Data Generation Using an Iterative Relaxation Method.
• Phyllis G. Frankl,Oleg Iakounenko,Further Empirical Studies of Test Effectiveness.
• Robert Allen,David Garlan,Formal Modeling and Analysis of the HLA Component Integration Standard.
• Gregor Snelting,Frank Tip,Reengineering Class Hierarchies Using Concept Analysis.
• Gou Masuda,Norihiro Sakamoto,Kazuo Ushijima,Applying Design Patterns to Decision Tree Learning System.
• Mark Astley,Gul Agha,Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management.
• David Garlan,Somesh Jha,David Notkin,Reasoning about Implicit Invocation.
• Jochen Seemann,Jürgen Wolff von Gudenberg,Pattern-Based Design Recovery of Java Software.

1996

• Nenad Medvidovic,Peyman Oreizy,Jason E. Robbins,Richard N. Taylor,Using Object-Oriented Typing to Support Architectural Design in the C2 Style.
• Carl A. Gunter,Abstracting Dependencies between Software Configuration Items.
• William G. Griswold,Morison I. Chen,Robert W. Bowdidge,J. David Morgenthaler,Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.
• Michael VanHilst,David Notkin,Decoupling Change from Design.
• David S. Rosenblum,Elaine J. Weyuker,Predicting the Cost-Effectiveness of Regression Testing Strategies.
• Jeff Magee,Jeff Kramer,Dynamic Structure in Software Architectures.
• Daniel Le Métayer,Software Architecture Styles as Graph Grammars.
• Ioannis Parissis,Farid Ouabdesselam,Specification-based Testing of Synchronous Software.
• Robert Darimont,Axel van Lamsweerde,Formal Refinement Patterns for Goal-Driven Requirements Elaboration.
• Michael Siff,Thomas W. Reps,Program Generalization for Software Reuse: From C to C++.
• Laura K. Dillon,Y. S. Ramakrishna,Generating Oracles from Your Favorite Temporal Logic Specifications.
• Linda M. Seiter,Jens Palsberg,Karl J. Lieberherr,Evolution of Object Behavior Using Context Relations.
• Richard J. Anderson,Paul Beame,Steve Burns,William Chan,Francesmary Modugno,David Notkin,Jon Damon Reese,Model Checking Large Software Specifications.
• Gleb Naumovich,Lori A. Clarke,Leon J. Osterweil,Verification of Communication Protocols Using Data Flow Analysis.
• Craig Damon,Daniel Jackson,Somesh Jha,Checking Relational Specifications With Binary Decision Diagrams.
• Daniel J. Barrett,Alan Kaplan,Jack C. Wileden,Automated Support for Seamless Interoperability in Polylingual Software Systems.
• Sean Zhang,Barbara G. Ryder,William Landi,Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.

1994

• David Garlan,Robert Allen,John Ockerbloom,Exploiting Style in Architectural Design Environments.
• Don S. Batory,Jeff Thomas,Marty Sirkin,Reengineering a Complex Application Using a Scalable Data Structure Compiler.
• Gregory D. Abowd,Alan J. Dix,Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems.
• Mark T. Vandevoorde,John V. Guttag,Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.
• Gérard Cécé,Alain Finkel,S. Purushothaman Iyer,Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.
• Mary Jean Harrold,Gregg Rothermel,Performing Data Flow Testing on Classes.
• Matthew B. Dwyer,Lori A. Clarke,Data Flow Analysis for Verifying Properties of Concurrent Programs.
• Thomas W. Reps,Susan Horwitz,Shmuel Sagiv,Genevieve Rosay,Speeding up Slicing.
• David Evans,John V. Guttag,James J. Horning,Yang Meng Tan,LCLint: A Tool for Using Specifications to Check Code.
• Laura K. Dillon,Qing Yu,Oracles for Checking Temporal Properties of Concurrent Systems.
• Daniel Jackson,Eugene J. Rollins,A New Model of Program Dependences for Reverse Engineering.
• James C. Corbett,George S. Avrunin,Towards Scalable Compositional Analysis.
• Richard G. Hamlet,Foundations of Software Testing: Dependability Theory.
• Vahid Mashayekhi,Chris Feulner,John Riedl,CAIS: Collaborative Asynchronous Inspection of Software.
• Nicole Lévy,G. Smith,A Language-Independent Approach to Specification Construction.
• Robert W. Bowdidge,William G. Griswold,Automated Support for Encapsulating Abstract Data Types.
• Mark Moriconi,Xiaolei Qian,Correctness and Composition of Software Architectures.