2014

• Venkatesh-Prasad Ranganath,Pradip Vallathol,Pankaj Gupta,Compatibility testing using patterns-based trace comparison.
• Yueqi Li,Shing-Chi Cheung,Symbolic state validation through runtime data.
• Shuang Liu,Jun Sun,Yang Liu,Yue Zhang,Bimlesh Wadhwa,Jin Song Dong,Xinyu Wang,Automatic early defects detection in use case documents.
• Wenhua Yang,Chang Xu,Yepang Liu,Chun Cao,Xiaoxing Ma,Jian Lu,Verifying self-adaptive applications suffering uncertainty.
• Tomasz Kuchta,Cristian Cadar,Miguel Castro,Manuel Costa,Docovery: toward generic automatic document recovery.
• Amin Milani Fard,Mehdi MirzaAghaei,Ali Mesbah,Leveraging existing tests in automated test generation for web applications.
• Nikolai Tillmann,Jonathan de Halleux,Tao Xie,Transferring an automated test generation tool to practice: from pex to fakes and code digger.
• Ernest Wozniak,Marco Di Natale,Haibo Zeng,Chokri Mraidha,Sara Tucci Piergiovanni,Sébastien Gérard,Assigning time budgets to component functions in the design of time-critical automotive systems.
• Bryan Marker,Don S. Batory,Robert A. van de Geijn,Understanding performance stairs: elucidating heuristics.
• Alexander Bergmayr,Javier Troya,Manuel Wimmer,From out-place transformation evolution to in-place model patching.
• Yuta Maezawa,Kazuki Nishiura,Hironori Washizaki,Shinichi Honiden,Validating ajax applications using a delay-based mutation technique.
• Jean-Rémy Falleri,Floréal Morandat,Xavier Blanc,Matias Martinez,Martin Monperrus,Fine-grained and accurate source code differencing.
• Rainer Lutz,Stephan Diehl,Using visual dataflow programming for interactive model comparison.
• Haipeng Cai,Raúl A. Santelices,Diver: precise dynamic impact analysis using dependence-based trace pruning.
• Gregory Gay,Sanjai Rayadurgam,Mats Per Erik Heimdahl,Improving the accuracy of oracle verdicts through automated model steering.
• Girish Maskeri Rama,Raghavan Komondoor,A dynamic analysis to support object-sharing code refactorings.
• Kyle Dewey,Jared Roesch,Ben Hardekopf,Language fuzzing using constraint logic programming.
• Vijay Krishna Palepu,James A. Jones,Discriminating influences among instructions in a dynamic slice.
• Rohan Padhye,Senthil Mani,Vibha Singhal Sinha,NeedFeed: taming change notifications by modeling code relevance.
• Kartik Bajaj,Karthik Pattabiraman,Ali Mesbah,Dompletion: DOM-aware JavaScript code completion.
• Zaur Molotnikov,Markus Völter,Daniel Ratiu,Automated domain-specific C verification with mbeddr.
• Steven P. Reiss,Seeking the user interface.
• Sarmad Makhdoom,Muhammad Adeel Khan,Junaid Haroon Siddiqui,Incremental symbolic execution for automated test suite maintenance.
• Reza Matinnejad,Shiva Nejati,Lionel C. Briand,Thomas Bruckmann,MiL testing of highly configurable continuous controllers: scalable search using surrogate models.
• Chuangang Ren,Kai Chen,Peng Liu,Droidmarking: resilient software watermarking for impeding android application repackaging.
• Wenwen Wang,Zhenjiang Wang,Chenggang Wu,Pen-Chung Yew,Xipeng Shen,Xiang Yuan,Jianjun Li,Xiaobing Feng,Yong Guan,Localization of concurrency bugs using shared memory access pairs.
• Sergio Segura,Ana B. Sánchez,Antonio Ruiz Cortés,Automated variability analysis and testing of an E-commerce site.: an experience report.
• Roberto Di Cosmo,Michael Lienhardt,Ralf Treinen,Stefano Zacchiroli,Jakub Zwolakowski,Antoine Eiche,Alexis Agahi,Automated synthesis and deployment of cloud applications.
• Tanzirul Azim,Iulian Neamtiu,Lisa M. Marvel,Towards self-healing smartphone software via automated patching.
• Johanna Schneider,Tracking down root causes of defects in simulink models.
• Naoyasu Ubayashi,Di Ai,Peiyuan Li,Yu Ning Li,Shintaro Hosoai,Yasutaka Kamei,Abstraction-aware verifying compiler for yet another MDD.
• Hila Cohen,Shahar Maoz,The confidence in our k-tails.
• Iago Abal,Claus Brabrand,Andrzej Wasowski,42 variability bugs in the linux kernel: a qualitative analysis.
• Mona Rahimi,Jane Cleland-Huang,Personas in the middle: automated support for creating personas as focal points in feature gathering forums.
• Feng Shen,Namita Vishnubhotla,Chirag Todarka,Mohit Arora,Babu Dhandapani,Eric John Lehner,Steven Y. Ko,Lukasz Ziarek,Information flows as a permission mechanism.
• Mark Hills,Paul Klint,Jurgen J. Vinju,Static, lightweight includes resolution for PHP.
• Daniele Zuddas,Wei Jin,Fabrizio Pastore,Leonardo Mariani,Alessandro Orso,MIMIC: locating and understanding bugs by analyzing mimicked executions.
• Jun Lin,Han Yu,Zhiqi Shen,Chunyan Miao,Studying task allocation decisions of novice agile teams with data from agile project management tools.
• Heidar Pirzadeh,Sara Shanian,Resilient user interface level tests.
• Tobias Kuschke,Patrick Mäder,Pattern-based auto-completion of UML modeling activities.
• Xiao Liu,Dinghao Wu,PiE: programming in eliza.
• Hani Abdeen,Dániel Varró,Houari A. Sahraoui,András Szabolcs Nagy,Csaba Debreceni,Ábel Hegedüs,Ákos Horváth,Multi-objective optimization in rule-based design space exploration.
• Joseph P. Near,Daniel Jackson,Derailer: interactive security analysis for web applications.
• Tony Ohmann,Michael Herzberg,Sebastian Fiss,Armand Halbert,Marc Palyart,Ivan Beschastnikh,Yuriy Brun,Behavioral resource-aware model inference.
• Dimitra Giannakopoulou,Falk Howar,Malte Isberner,Todd Lauderdale,Zvonimir Rakamaric,Vishwanath Raman,Taming test inputs for separation assurance.
• Mark Harman,Yue Jia,Pedro Reales Mateo,Macario Polo,Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
• Erik Österlund,Welf Löwe,Concurrent transformation components using contention context sensors.
• Kushal Ahmed,M. A. Hakim Newton,Lian Wen,Abdul Sattar,Formalisation of the integration of behavior trees.
• Shigeki Hagihara,Naoki Egawa,Masaya Shimakawa,Naoki Yonezaki,Minimal strongly unsatisfiable subsets of reactive system specifications.
• Max Lillack,Christian Kästner,Eric Bodden,Tracking load-time configuration options.
• Ting Ye,Bing Xie,Yanzhen Zou,Xiuzhao Chen,Interrogative-guided re-ranking for question-oriented software text retrieval.
• Jianmei Guo,Edward Zulkoski,Rafael Olaechea,Derek Rayside,Krzysztof Czarnecki,Sven Apel,Joanne M. Atlee,Scaling exact multi-objective combinatorial optimization by parallelization.
• Yu Cao,Hongyu Zhang,Sun Ding,SymCrash: selective recording for reproducing crashes.
• Jie Zhang,Junjie Chen,Dan Hao,Yingfei Xiong,Bing Xie,Lu Zhang,Hong Mei,Search-based inference of polynomial metamorphic relations.
• Scott Kausler,Elena Sherman,Evaluation of string constraint solvers in the context of symbolic execution.
• Pavneet Singh Kochhar,Yuan Tian,David Lo,Potential biases in bug localization: do they matter?
• Mohamed Wiem Mkaouer,Marouane Kessentini,Slim Bechikh,Kalyanmoy Deb,Mel Ó Cinnéide,Recommendation system for software refactoring using innovization and interactive dynamic optimization.
• Sonal Mahajan,William G. J. Halfond,Finding HTML presentation failures using image comparison techniques.
• Andrea Arcuri,Gordon Fraser,Juan Pablo Galeotti,Automated unit test generation for classes with environment dependencies.
• Anthony Romano,Dawson R. Engler,symMMU: symbolically executed runtime libraries for symbolic memory access.
• Gabriele Bavota,Sebastiano Panichella,Nikolaos Tsantalis,Massimiliano Di Penta,Rocco Oliveto,Gerardo Canfora,Recommending refactorings based on team co-maintenance patterns.
• Dennis Felsing,Sarah Grebing,Vladimir Klebanov,Philipp Rümmer,Mattias Ulbrich,Automating regression verification.
• Peter Dinges,Gul A. Agha,Targeted test input generation using symbolic-concrete backward execution.
• Jihun Park,Miryung Kim,Doo-Hwan Bae,An empirical study on reducing omission errors in practice.
• Kasper Søe Luckow,Corina S. Pasareanu,Matthew B. Dwyer,Antonio Filieri,Willem Visser,Exact and approximate probabilistic symbolic execution for nondeterministic programs.
• José Carlos Medeiros de Campos,Andrea Arcuri,Gordon Fraser,Rui Filipe Lima Maranhão de Abreu,Continuous test generation: enhancing continuous integration with automated test generation.
• Guillaume Bécan,Nicolas Sannier,Mathieu Acher,Olivier Barais,Arnaud Blouin,Benoit Baudry,Automating the formalization of product comparison matrices.
• Sander van der Burg,Eelco Dolstra,Shane McIntosh,Julius Davies,Daniel M. Germán,Armijn Hemel,Tracing software build processes to uncover license compliance inconsistencies.
• Julian James Stephen,Savvas Savvides,Russell Seidel,Patrick Th. Eugster,Program analysis for secure big data processing.
• Saeideh Hamidi,Periklis Andritsos,Sotirios Liaskos,Constructing adaptive configuration dialogs using crowd data.
• Milos Gligoric,Stas Negara,Owolabi Legunsen,Darko Marinov,An empirical evaluation and comparison of manual and automated test selection.
• Shaowei Wang,David Lo,Lingxiao Jiang,Active code search: incorporating user feedback to improve code search relevance.
• Alexander Tarvo,Steven P. Reiss,Automated analysis of multithreaded programs for performance modeling.
• Jin Guo,Natawut Monaikul,Cody Plepel,Jane Cleland-Huang,Towards an intelligent domain-specific traceability solution.
• Samuel J. Ellis,Eric R. Henderson,Titus H. Klinge,James I. Lathrop,Jack H. Lutz,Robyn R. Lutz,Divita Mathur,Andrew S. Miner,Automated requirements analysis for a molecular watchdog timer.
• Markus Kusano,Chao Wang,Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction.
• Ajitha Rajan,Subodh Sharma,Peter Schrammel,Daniel Kroening,Accelerated test execution using GPUs.
• Samik Basu,Tevfik Bultan,Automatic verification of interactions in asynchronous systems with unbounded buffers.
• Yguaratã Cerqueira Cavalcanti,Ivan do Carmo Machado,Paulo Anselmo da Mota Silveira Neto,Eduardo Santana de Almeida,Silvio Romero de Lemos Meira,Combining rule-based and information retrieval techniques to assign software change requests.
• Anh Tuan Nguyen,Hoan Anh Nguyen,Tung Thanh Nguyen,Tien N. Nguyen,Statistical learning approach for mining API usage mappings for code migration.
• Dongpu Jin,Myra B. Cohen,Xiao Qu,Brian Robinson,PrefFinder: getting the right preference in configurable software systems.
• Lucia,David Lo,Xin Xia,Fusion fault localizers.

2013

• Lu Zhang,Arijit Chattopadhyay,Chao Wang,Round-up: Runtime checking quasi linearizability of concurrent data structures.
• Vijay Krishna Palepu,Guoqing (Harry) Xu,James A. Jones,Improving efficiency of dynamic analysis with dynamic dependence summaries.
• Hao Xiao,Jun Sun,Yang Liu,Shang-Wei Lin,Chengnian Sun,TzuYu: Learning stateful typestates.
• Malay K. Ganai,Efficient data race prediction with incremental reasoning on time-stamped lock history.
• Jeffrey M. Barnes,Ashutosh Pandey,David Garlan,Automated planning for software architecture evolution.
• Deepak Dhungana,Ching Hoo Tang,Christoph Weidenbach,Patrick Wischnewski,Automated verification of interactive rule-based configuration systems.
• Domenico Cotroneo,Domenico Di Leo,Francesco Fucci,Roberto Natella,SABRINE: State-based robustness testing of operating systems.
• Benedek Izsó,Zoltán Szatmári,Gábor Bergmann,Ákos Horváth,István Ráth,Towards precise metrics for predicting graph query performance.
• Samira Tasharofi,Michael Pradel,Yu Lin,Ralph E. Johnson,Bita: Coverage-guided, automatic testing of actor programs.
• Andreas Simburger,Sven Apel,Armin Größlinger,Christian Lengauer,The potential of polyhedral optimization: An empirical study.
• Erik Österlund,Welf Löwe,Dynamically transforming data structures.
• Yu Huang,Eric Mercer,Jay McCarthy,Proving MCAPI executions are correct using SMT.
• Timo Kehrer,Udo Kelter,Gabriele Taentzer,Consistency-preserving edit scripts in model versioning.
• Cyrille Artho,Masami Hagiya,Richard Potter,Yoshinori Tanabe,Franz Weitl,Mitsuharu Yamamoto,Software model checking for distributed systems with selector-based, non-blocking communication.
• Xusheng Xiao,Sihan Li,Tao Xie,Nikolai Tillmann,Characteristic studies of loop problems for structural test generation via symbolic execution.
• Lingming Zhang,Milos Gligoric,Darko Marinov,Sarfraz Khurshid,Operator-based and random mutant selection: Better together.
• William N. Sumner,Xiangyu Zhang,Identifying execution points for dynamic analyses.
• Jianmei Guo,Krzysztof Czarnecki,Sven Apel,Norbert Siegmund,Andrzej Wasowski,Variability-aware performance prediction: A statistical learning approach.
• Jian-Guang Lou,Qingwei Lin,Rui Ding,Qiang Fu,Dongmei Zhang,Tao Xie,Software analytics for incident management of online services: An experience report.
• Baishakhi Ray,Miryung Kim,Suzette Person,Neha Rungta,Detecting and characterizing semantic inconsistencies in ported code.
• Joshua Garcia,Igor Ivkovic,Nenad Medvidovic,A comparative analysis of software architecture recovery techniques.
• Hung Viet Nguyen,Hoan Anh Nguyen,Tung Thanh Nguyen,Anh Tuan Nguyen,Tien N. Nguyen,Dangling references in multi-configuration and dynamic PHP-based Web applications.
• Nicholas Chen,Ralph E. Johnson,JFlow: Practical refactorings for flow-based parallelism.
• Sai Zhang,Yuyin Sun,Automatically synthesizing SQL queries from input-output examples.
• Shao Jie Zhang,Jun Sun,Chengnian Sun,Yang Liu,Junwei Ma,Jin Song Dong,Constraint-based automatic symmetry detection.
• Yonghwi Kwon,Xiangyu Zhang,Dongyan Xu,PIEtrace: Platform independent executable trace.
• Yunho Kim,Youil Kim,Taeksu Kim,Gunwoo Lee,Yoonkyu Jang,Moonzoo Kim,Automated unit testing of large industrial embedded software using concolic testing.
• Shiva Nejati,Morayo Adedjouma,Lionel C. Briand,Jonathan Hellebaut,Julien Begey,Yves Clement,Minimizing CPU time shortage risks in integrated embedded software.
• Abdel Salam Sayyad,Joseph Ingram,Tim Menzies,Hany Ammar,Scalable product line configuration: A straw to break the camel's back.
• Chia Yuan Cho,Vijay D'Silva,Dawn Song,BLITZ: Compositional bounded model checking for real-world programs.
• Gang Zhang,Xin Peng,Zhenchang Xing,Shihai Jiang,Hai Wang,Wenyun Zhao,Towards contextual and on-demand code clone management by continuous monitoring.
• Ferdian Thung,Shaowei Wang,David Lo,Julia L. Lawall,Automatic recommendation of API methods from feature requests.
• Kaituo Li,Christoph Reichenbach,Yannis Smaragdakis,Yanlei Diao,Christoph Csallner,SEDGE: Symbolic example data generation for dataflow programs.
• Mahinthan Chandramohan,Hee Beng Kuan Tan,Lionel C. Briand,Lwin Khin Shar,Bindu Madhavi Padmanabhuni,A scalable approach for malware detection through bounded feature space behavior modeling.
• José Campos,Rui Abreu,Gordon Fraser,Marcelo d'Amorim,Entropy-based test generation for improved fault localization.
• Nicolás Rosner,Junaid Haroon Siddiqui,Nazareno Aguirre,Sarfraz Khurshid,Marcelo F. Frias,Ranger: Parallel analysis of alloy models by range partitioning.
• Zhihong Xu,Martin Hirzel,Gregg Rothermel,Kun-Lung Wu,Testing properties of dataflow program operators.
• Dirk Fahland,David Lo,Shahar Maoz,Mining branching-time scenarios.
• Tian Jiang,Lin Tan,Sunghun Kim,Personalized defect prediction.
• Yuta Maezawa,Hironori Washizaki,Yoshinori Tanabe,Shinichi Honiden,Automated verification of pattern-based interaction invariants in Ajax applications.
• Peter Ohmann,Ben Liblit,Lightweight control-flow instrumentation and postmortem analysis in support of debugging.
• Yongzheng Wu,Jun Sun,Yang Liu,Jin Song Dong,Automatically partition software into least privilege components using dynamic data dependency analysis.
• Hoan Anh Nguyen,Anh Tuan Nguyen,Tung Thanh Nguyen,Tien N. Nguyen,Hridesh Rajan,A study of repetitiveness of code changes in software evolution.
• Patrick O'Neil Meredith,Grigore Rosu,Efficient parametric runtime verification with deterministic string rewriting.
• Ripon K. Saha,Matthew Lease,Sarfraz Khurshid,Dewayne E. Perry,Improving bug localization using structured information retrieval.
• Daniel Di Nardo,Nadia Alshahwan,Lionel C. Briand,Elizabeta Fourneret,Tomislav Nakic-Alfirevic,Vincent Masquelier,Model based test validation and oracles for data acquisition systems.
• Chaorong Guo,Jian Zhang,Jun Yan,Zhiqiang Zhang,Yanli Zhang,Characterizing and detecting resource leaks in Android applications.
• Richard Pohl,Vanessa Stricker,Klaus Pohl,Measuring the structural complexity of feature models.
• Fabio Palomba,Gabriele Bavota,Massimiliano Di Penta,Rocco Oliveto,Andrea De Lucia,Denys Poshyvanyk,Detecting bad smells in source code using change history information.
• Radu Vanciu,Marwan Abi-Antoun,Finding architectural flaws using constraints.
• Westley Weimer,Zachary P. Fry,Stephanie Forrest,Leveraging program equivalence for adaptive program repair: Models and first results.

2012

• Martin Faunes,Houari A. Sahraoui,Mounir Boukadoum,Generating model transformation rules from examples using an evolutionary algorithm.
• Liang Gong,David Lo,Lingxiao Jiang,Hongyu Zhang,Diversity maximization speedup for fault localization.
• Lei Shang,Yi Lu,Jingling Xue,Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience.
• Sven Apel,Olaf Leßenich,Christian Lengauer,Structured merge with auto-tuning: balancing precision and performance.
• Katsuhisa Maruyama,Eijiro Kitsu,Takayuki Omori,Shinpei Hayashi,Slicing and replaying code change history.
• Mohamed Almorsy,John Grundy,Amani S. Ibrahim,Supporting automated vulnerability analysis using formalized vulnerability signatures.
• Xusheng Xiao,Nikolai Tillmann,Manuel Fähndrich,Jonathan de Halleux,Michal Moskal,User-aware privacy control via extended static-information-flow analysis.
• Lucia,David Lo,Lingxiao Jiang,Aditya Budi,kbe-anonymity: test data anonymization for evolving programs.
• Huihua Lu,Bojan Cukic,Mark Culp,Software defect prediction using semi-supervised learning with dimension reduction.
• Alexandre Bartel,Jacques Klein,Yves Le Traon,Martin Monperrus,Automatically securing permission-based software by reducing the attack surface: an application to Android.
• Jaideep Nijjar,Tevfik Bultan,Unbounded data model verification using SMT solvers.
• Alexander Reder,Alexander Egyed,Computing repair trees for resolving inconsistencies in design models.
• Yang Yuan,Yao Guo,Boreas: an accurate and scalable token-based approach to code clone detection.
• Amani S. Ibrahim,John Grundy,James H. Hamlyn-Harris,Mohamed Almorsy,Supporting operating system kernel data disambiguation using points-to analysis.
• Kari Kähkönen,Olli Saarikivi,Keijo Heljanko,Using unfoldings in automated testing of multithreaded programs.
• Friedrich Steimann,Jens von Pilgrim,Refactorings without names.
• Divya Gopinath,Razieh Nokhbeh Zaeem,Sarfraz Khurshid,Improving the effectiveness of spectra-based fault localization using specifications.
• Achraf Ghabi,Alexander Egyed,Code patterns for automatically validating requirements-to-code traces.
• Ning Chen,Sunghun Kim,Puzzle-based automatic testing: bringing humans into the loop by solving puzzles.
• Mohamed Almorsy,John Grundy,Amani S. Ibrahim,Supporting automated software re-engineering using re-aspects.
• Moria Abadi,Yishai A. Feldman,Automatic recovery of statecharts from procedural code.
• Ferdian Thung,Lucia,David Lo,Lingxiao Jiang,Foyzur Rahman,Premkumar T. Devanbu,To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools.
• Sonia Haiduc,Gabriele Bavota,Rocco Oliveto,Andrea De Lucia,Andrian Marcus,Automatic query performance assessment during the retrieval of software artifacts.
• Timo Kehrer,Udo Kelter,Pit Pietsch,Maik Schmidt,Adaptability of model comparison tools.
• Abdou Maiga,Nasir Ali,Neelesh Bhattacharya,Aminata Sabane,Yann-Gaël Guéhéneuc,Giuliano Antoniol,Esma Aïmeur,Support vector machines for anti-pattern detection.
• Hung Viet Nguyen,Hoan Anh Nguyen,Tung Thanh Nguyen,Anh Tuan Nguyen,Tien N. Nguyen,Detection of embedded code smells in dynamic web applications.
• Xiaoyin Wang,Yingnong Dang,Lu Zhang,Dongmei Zhang,Erica Lan,Hong Mei,Can I clone this piece of code here?
• Domenico Amalfitano,Anna Rita Fasolino,Porfirio Tramontana,Salvatore De Carmine,Atif M. Memon,Using GUI ripping for automated testing of Android applications.
• Tegawendé F. Bissyandé,Laurent Réveillère,Julia L. Lawall,Gilles Muller,Diagnosys: automatic generation of a debugging interface to the Linux kernel.
• Huiqing Li,Simon J. Thompson,Automated API migration in a user-extensible refactoring tool for Erlang programs.
• Ayman Amin,Lars Grunske,Alan Colman,An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling.
• Anh Tuan Nguyen,Tung Thanh Nguyen,Tien N. Nguyen,David Lo,Chengnian Sun,Duplicate bug report detection with a combination of information retrieval and topic modeling.
• Konrad Jamrozik,Gordon Fraser,Nikolai Tillmann,Jonathan de Halleux,Augmented dynamic symbolic execution.
• Maartje de Jonge,Eelco Visser,Automated evaluation of syntax error recovery.
• Kai Yu,Mengxiang Lin,Jin Chen,Xiangyu Zhang,Practical isolation of failure-inducing changes for debugging regression faults.
• Dennis Westermann,Jens Happe,Rouven Krebs,Roozbeh Farahbod,Automated inference of goal-oriented performance prediction functions.
• Hyunmin Seo,Sunghun Kim,Predicting recurring crash stacks.
• Rainer Lutz,Sascha Schäfer,Stephan Diehl,Using mobile devices for collaborative requirements engineering.
• Rick Rabiser,Paul Grünbacher,Martin Lehofer,A qualitative study on user guidance capabilities in product configuration tools.
• JeeHyun Hwang,Tao Xie,Donia El Kateb,Tejeddine Mouelhi,Yves Le Traon,Selection of regression system tests for security policy evolution.
• Julia Rubin,Marsha Chechik,Locating distinguishing features using diff sets.
• Andreas Demuth,Roberto E. Lopez-Herrejon,Alexander Egyed,Automatically generating and adapting model constraints to support co-evolution of design models.
• Rui Ding,Qiang Fu,Jian-Guang Lou,Qingwei Lin,Dongmei Zhang,Jiajun Shen,Tao Xie,Healing online service systems via mining historical issue repositories.
• Lwin Khin Shar,Hee Beng Kuan Tan,Predicting common web application vulnerabilities from input validation and sanitization code patterns.
• Adel Noureddine,Aurelien Bourdon,Romain Rouvoy,Lionel Seinturier,Runtime monitoring of software energy hotspots.

2011

• Edward Stehle,Kevin Lynch,Maxim Shevertalov,Chris Rorres,Spiros Mancoridis,Diagnosis of software failures using computational geometry.
• Arthur I. Baars,Mark Harman,Youssef Hassoun,Kiran Lakhotia,Phil McMinn,Paolo Tonella,Tanja E. J. Vos,Symbolic search-based testing.
• Ning Chen,Steven C. H. Hoi,Xiaokui Xiao,Software process evaluation: A machine learning approach.
• Zachary J. Oster,Ganesh Ram Santhanam,Samik Basu,Automating analysis of qualitative preferences in goal-oriented requirements engineering.
• Markus Kimmig,Martin Monperrus,Mira Mezini,Querying source code with natural language.
• Svetoslav R. Ganov,Sarfraz Khurshid,Dewayne E. Perry,A case for alloy annotations for efficient incremental analysis via domain specific solvers.
• Shaowei Wang,David Lo,Lingxiao Jiang,Lucia,Hoong Chuin Lau,Search-based fault localization.
• Malay K. Ganai,Scalable and precise symbolic analysis for atomicity violations.
• Péter Bokor,Johannes Kinder,Marco Serafini,Neeraj Suri,Supporting domain-specific state space reductions through local partial-order reduction.
• Yongjie Zheng,Richard N. Taylor,Taming changes With 1.x-Way architecture-implementation mapping.
• Jan Malburg,Gordon Fraser,Combining search-based and constraint-based testing.
• Andres J. Ramirez,Adam C. Jensen,Betty H. C. Cheng,David B. Knoester,Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems.
• Mathieu Acher,Philippe Collet,Philippe Lahire,Robert B. France,Slicing feature models.
• Malcom Gethers,Huzefa H. Kagdi,Bogdan Dit,Denys Poshyvanyk,An adaptive approach to impact analysis from change requests to source code.
• Soham Sundar Chakraborty,Vipul Shah,Towards an approach and framework for test-execution plan derivation.
• Antonio Filieri,Carlo Ghezzi,Alberto Leva,Martina Maggio,Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.
• Emily Hill,Lori L. Pollock,K. Vijay-Shanker,Improving source code search with natural language phrasal representations of method signatures.
• Achraf Ghabi,Alexander Egyed,Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation.
• Wujie Zheng,Hao Ma,Michael R. Lyu,Tao Xie,Irwin King,Mining test oracles of web search engines.
• Alberto Bacchelli,Anthony Cleve,Michele Lanza,Andrea Mocci,Extracting structured data from natural language documents with island parsing.
• Massila Kamalrudin,John C. Grundy,Generating essential user interface prototypes to validate requirements.
• Soichiro Hidaka,Zhenjiang Hu,Kazuhiro Inaba,Hiroyuki Kato,Keisuke Nakano,GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.
• Francisco Servant,James A. Jones,History slicing.
• Yijun Yu,Thein Than Tun,Bashar Nuseibeh,Specifying and detecting meaningful changes in programs.
• Angela Lozano,Andy Kellens,Kim Mens,Mendel: Source code recommendation based on a genetic metaphor.
• David Insa,Josep Silva,An optimal strategy for algorithmic debugging.
• Nadia Alshahwan,Mark Harman,Automated web application testing using search based software engineering.
• Patrick Mäder,Alexander Egyed,Do software engineers benefit from source code navigation with traceability? - An experiment in software change management.
• Swapna Gottipati,David Lo,Jing Jiang,Finding relevant answers in software forums.
• Pengcheng Zhang,Henry Muccini,Andrea Polini,Xuandong Li,Run-time systems failure prediction via proactive monitoring.
• Mark Robinson,Jianwei Niu,Macneil Shonle,GitBAC: Flexible access control for non-modular concerns.
• William G. J. Halfond,Domain and value checking of web application invocation arguments.
• Alberto González-Sanchez,Rui Abreu,Hans-Gerhard Gross,Arjan J. C. van Gemund,Prioritizing tests for fault localization through ambiguity group reduction.
• Sven Apel,Hendrik Speidel,Philipp Wendler,Alexander von Rhein,Dirk Beyer,Detection of feature interactions using feature-aware verification.
• Timo Kehrer,Udo Kelter,Gabriele Taentzer,A rule-based approach to the semantic lifting of model differences in the context of model versioning.
• LiGuo Huang,Vincent Ng,Isaac Persing,Ruili Geng,Xu Bai,Jeff Tian,AutoODC: Automated generation of Orthogonal Defect Classifications.
• Changsheng Liu,Yanzhen Zou,Sibo Cai,Bing Xie,Hong Mei,Finding the merits and drawbacks of software resources from comments.
• Christoph Rathfelder,Samuel Kounev,David Evans,Capacity planning for event-based systems using automated performance predictions.
• Amirhossein Vakili,Nancy A. Day,Using model checking to analyze static properties of declarative models.
• Richard Pohl,Kim Lauenroth,Klaus Pohl,A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models.
• Joshua Garcia,Daniel Popescu,Chris Mattmann,Nenad Medvidovic,Yuanfang Cai,Enhancing architectural recovery using concerns.
• Juncao Li,Fei Xie,Thomas Ball,Vladimir Levin,Con McGarvey,Formalizing hardware/software interface specifications.
• Kai Pan,Xintao Wu,Tao Xie,Generating program inputs for database application testing.
• Aritra Bandyopadhyay,Sudipto Ghosh,Proximity based weighting of test cases to improve spectrum based fault localization.
• Elton Alves,Milos Gligoric,Vilas Jagannath,Marcelo d'Amorim,Fault-localization using dynamic slicing and change impact analysis.
• Watcharin Leungwattanakit,Cyrille Artho,Masami Hagiya,Yoshinori Tanabe,Mitsuharu Yamamoto,Model checking distributed systems by combining caching and process checkpointing.
• Parth Sagdeo,Viraj Athavale,Sumant Kowshik,Shobha Vasudevan,PRECIS: Inferring invariants using program path guided clustering.
• Pingyu Zhang,Sebastian G. Elbaum,Matthew B. Dwyer,Automatic generation of load tests.
• Fang Deng,James A. Jones,Inferred dependence coverage to support fault contextualization.
• Daryl Posnett,Vladimir Filkov,Premkumar T. Devanbu,Ecological inference in empirical software engineering.
• Fabian Brosig,Nikolaus Huber,Samuel Kounev,Automated extraction of architecture-level performance models of distributed component-based systems.
• Ariel Rabkin,Randy H. Katz,Precomputing possible configuration error diagnoses.
• Saswat Anand,Mary Jean Harrold,Heap cloning: Enabling dynamic symbolic execution of java programs.
• Sunny Wong,Yuanfang Cai,Generalizing evolutionary coupling with stochastic dependencies.
• Swetha Surapaneni,Venkata Krishna Suhas Nerella,Sanjay Kumar Madria,Thomas Weigert,Exploring caching for efficient collection operations.
• Marcos Aurélio Almeida da Silva,Xavier Blanc,Reda Bendraou,Deviation management during process execution.
• Kristopher Welsh,Pete Sawyer,Nelly Bencomo,Towards requirements aware systems: Run-time resolution of design-time assumptions.
• George Edwards,Yuriy Brun,Nenad Medvidovic,Isomorphism in model tools and editors.
• Kristina Winbladh,Anand Ranganathan,Evaluating test selection strategies for end-user specified flow-based applications.
• Gias Uddin,Barthélémy Dagenais,Martin P. Robillard,Analyzing temporal API usage patterns.
• Chengnian Sun,David Lo,Siau-Cheng Khoo,Jing Jiang,Towards more accurate retrieval of duplicate bug reports.
• Tim Menzies,Andrew Butcher,Andrian Marcus,Thomas Zimmermann,David R. Cok,Local vs. global models for effort estimation and defect prediction.
• Alex Groce,Coverage rewarded: Test input generation via adaptation-based programming.
• Ross Gore,Paul F. Reynolds Jr.,David Kamensky,Statistical debugging with elastic predicates.
• Yi Wei,Hannes Roth,Carlo A. Furia,Yu Pei,Alexander Horton,Michael Steindorfer,Martin Nordio,Bertrand Meyer,Stateful testing: Finding more errors in code and contracts.
• Paolo Tell,Muhammad Ali Babar,Supporting activity based computing paradigm in global software development.
• Pavel Parizek,Ondrej Lhoták,Identifying future field accesses in exhaustive state space traversal.
• Franjo Ivancic,Gogul Balakrishnan,Aarti Gupta,Sriram Sankaranarayanan,Naoto Maeda,Hiroki Tokuoka,Takashi Imoto,Yoshiaki Miyazaki,DC2: A framework for scalable, scope-bounded software verification.
• Sai Zhang,Cheng Zhang,Michael D. Ernst,Automated documentation inference to explain failed tests.
• Zoltán Ujhelyi,Ákos Horváth,Dániel Varró,Towards dynamic backward slicing of model transformations.
• Jeffrey L. Overbey,Ralph E. Johnson,Differential precondition checking: A lightweight, reusable analysis for refactoring tools.
• Anh Tuan Nguyen,Tung Thanh Nguyen,Jafar M. Al-Kofahi,Hung Viet Nguyen,Tien N. Nguyen,A topic-based approach for narrowing the search space of buggy files from a bug report.
• Qian Wu,Guangtai Liang,Qianxiang Wang,Tao Xie,Hong Mei,Iterative mining of resource-releasing specifications.
• Celal Ziftci,Ingolf Krueger,Tracing requirements to tests with high precision and recall.
• Matko Botincan,Mike Dodds,Alastair F. Donaldson,Matthew J. Parkinson,Safe asynchronous multicore memory operations.
• Ábel Hegedüs,Ákos Horváth,István Ráth,Dániel Varró,A model-driven framework for guided design space exploration.
• Robyn R. Lutz,Jeremy Johnson,Ann Patterson-Hine,Using model-based assurance to strengthen diagnostic procedures.
• Paolo Arcaini,Angelo Gargantini,Elvinia Riccobene,Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions.
• Xiaofan Chen,John C. Grundy,Improving automated documentation to code traceability by combining retrieval techniques.
• Josip Maras,Jan Carlson,Ivica Crnkovic,Client-side web application slicing.
• Sarah R. Clark,Jake Cobb,Gregory M. Kapfhammer,James A. Jones,Mary Jean Harrold,Localizing SQL faults in database applications.
• Yu Pei,Yi Wei,Carlo A. Furia,Martin Nordio,Bertrand Meyer,Code-based automated program fixing.
• Brian Robinson,Michael D. Ernst,Jeff H. Perkins,Vinay Augustine,Nuo Li,Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs.
• Ghulam Rasool,Patrick Mäder,Flexible design pattern detection based on feature types.
• Hung Viet Nguyen,Hoan Anh Nguyen,Tung Thanh Nguyen,Tien N. Nguyen,Auto-locating and fix-propagating for HTML validation errors to PHP server-side code.
• Samaneh Soltani,Mohsen Asadi,Marek Hatala,Dragan Gasevic,Ebrahim Bagheri,Automated planning for feature model configuration based on stakeholders' business concerns.
• Shadi Abdul Khalek,Vidya Priyadarshini Narayanan,Sarfraz Khurshid,Mixed constraints for test input generation - An initial exploration.

2010

• Michael Vierhauser,Paul Grünbacher,Alexander Egyed,Rick Rabiser,Wolfgang Heider,Flexible and scalable consistency checking on product line variability models.
• Ru He,Paul Jennings,Samik Basu,Arka P. Ghosh,Huaiqing Wu,A bounded statistical approach for model checking of unbounded until properties.
• Marouane Kessentini,Stéphane Vaucher,Houari A. Sahraoui,Deviance from perfection is a better criterion than closeness to evil when identifying risky code.
• Sylvain Hallé,Taylor Ettema,Chris Bunch,Tevfik Bultan,Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines.
• KyungHee Kim,Tuba Yavuz-Kahveci,Beverly A. Sanders,JRF-E: using model checking to give advice on eliminating memory model-related bugs.
• Guangtai Liang,Ling Wu,Qian Wu,Qianxiang Wang,Tao Xie,Hong Mei,Automatic construction of an effective training set for prioritizing static analysis warnings.
• Pieter Hooimeijer,Westley Weimer,Solving string constraints lazily.
• Raymond P. L. Buse,Westley Weimer,Automatically documenting program changes.
• Paulo Trezentos,Inês Lynce,Arlindo L. Oliveira,Apt-pbo: solving the software dependency problem using pseudo-boolean optimization.
• Andreas Holzer,Christian Schallhart,Michael Tautschnig,Helmut Veith,How did you specify your test suite.
• Brice Morin,Tejeddine Mouelhi,Franck Fleurey,Yves Le Traon,Olivier Barais,Jean-Marc Jézéquel,Security-driven model-based dynamic adaptation.
• Massila Kamalrudin,John C. Grundy,John G. Hosking,Tool support for essential use cases to better capture software requirements.
• Asadullah Shaikh,Robert Clarisó,Uffe Kock Wiil,Nasrullah Memon,Verification-driven slicing of UML/OCL models.
• Marwan Abi-Antoun,Jeffrey M. Barnes,Analyzing security architectures.
• David Lo,Shahar Maoz,Scenario-based and value-based specification mining: better together.
• Nam H. Pham,Tung Thanh Nguyen,Hoan Anh Nguyen,Tien N. Nguyen,Detection of recurring software vulnerabilities.
• Christian Hirsch,John G. Hosking,John C. Grundy,VikiBuilder: end-user specification and generation of visual wikis.
• Nicolas Mangano,Alex Baker,Mitch Dempsey,Emily Oh Navarro,André van der Hoek,Software design sketching with calico.
• Marek Gibiec,Adam Czauderna,Jane Cleland-Huang,Towards mining replacement queries for hard-to-retrieve traces.
• Hui Yang,Alistair Willis,Anne N. De Roeck,Bashar Nuseibeh,Automatic detection of nocuous coordination ambiguities in natural language requirements.
• Weiyi Shang,Bram Adams,Ahmed E. Hassan,An experience report on scaling tools for mining software repositories using MapReduce.
• Ali Taleghani,Joanne M. Atlee,Search-carrying code.
• Aristide Fattori,Roberto Paleari,Lorenzo Martignoni,Mattia Monga,Dynamic and transparent analysis of commodity production systems.
• Giriprasad Sridhara,Emily Hill,Divya Muppaneni,Lori L. Pollock,K. Vijay-Shanker,Towards automatically generating summary comments for Java methods.
• Renuka Sindhgatta,Nanjangud C. Narendra,Bikram Sengupta,Karthik Visweswariah,Arthur G. Ryman,Timesheet assistant: mining and reporting developer effort.
• Senthil Mani,Vibha Singhal Sinha,Pankaj Dhoolia,Saurabh Sinha,Automated support for repairing input-model faults.
• Xiaoyin Wang,David Lo,Jiefeng Cheng,Lu Zhang,Hong Mei,Jeffrey Xu Yu,Matching dependence-related queries in the system dependence graph.
• Thorsten Berger,Steven She,Rafael Lotufo,Andrzej Wasowski,Krzysztof Czarnecki,Variability modeling in the real: a perspective from the operating systems domain.
• Adam Duley,Chris Spandikow,Miryung Kim,A program differencing algorithm for verilog HDL.
• Dawei Qi,Abhik Roychoudhury,Zhenkai Liang,Test generation to expose changes in evolving programs.
• Julia L. Lawall,David Lo,An automated approach for finding variable-constant pairing bugs.
• Daniel M. Germán,Yuki Manabe,Katsuro Inoue,A sentence-matching method for automatic license identification of source code files.
• Hossein Tajalli,Joshua Garcia,George Edwards,Nenad Medvidovic,PLASMA: a plan-based layered architecture for software model-driven adaptation.
• Deshan Cooray,Sam Malek,Roshanak Roshandel,David Kilgore,RESISTing reliability degradation through proactive reconfiguration.

2009

• Dionysis Athanasopoulos,Apostolos Zarras,Valérie Issarny,Service Substitution Revisited.
• Martin Weiglhofer,Gordon Fraser,Franz Wotawa,Using Spectrum-Based Fault Localization for Test Case Grouping.
• Aldeida Aleti,Lars Grunske,Indika Meedeniya,Irene Moser,Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy.
• Jyotirmoy V. Deshmukh,E. Allen Emerson,Sriram Sankaranarayanan,Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.
• Nuo Li,Tao Xie,Nikolai Tillmann,Jonathan de Halleux,Wolfram Schulte,Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.
• Andreas Saebjoernsen,Lingxiao Jiang,Daniel J. Quinlan,Zhendong Su,Static Validation of C Preprocessor Macros.
• Mohsen Vakilian,Danny Dig,Robert L. Bocchino Jr.,Jeffrey Overbey,Vikram S. Adve,Ralph E. Johnson,Inferring Method Effect Summaries for Nested Heap Regions.
• Keith Cassell,Peter Andreae,Lindsay Groves,James Noble,Towards Automating Class-Splitting Using Betweenness Clustering.
• Gustav Munkby,Sibylle Schupp,Type Inference for Soft-Error Fault-Tolerance Prediction.
• Rui Abreu,Peter Zoeteweij,Arjan J. C. van Gemund,Spectrum-Based Multiple Fault Localization.
• Sotirios Liaskos,Sheila A. McIlraith,John Mylopoulos,Towards Augmenting Requirements Models with Preferences.
• Yu Lin,Xucheng Tang,Yuting Chen,Jianjun Zhao,A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.
• KyungHee Kim,Tuba Yavuz-Kahveci,Beverly A. Sanders,Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.
• Yves Ledru,Alexandre Petrenko,Sergiy Boroday,Using String Distances for Test Case Prioritisation.
• Fang Yu,Muath Alkhalaf,Tevfik Bultan,Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses.
• Walid Maalej,Task-First or Context-First? Tool Integration Revisited.
• David Lo,Shahar Maoz,Mining Hierarchical Scenario-Based Specifications.
• Bo Jiang,Zhenyu Zhang,Wing Kwong Chan,T. H. Tse,Adaptive Random Test Case Prioritization.
• Paul Grünbacher,Rick Rabiser,Deepak Dhungana,Martin Lehofer,Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences.
• Enrico Biermann,Karsten Ehrig,Claudia Ermel,Jonas Hurrelmann,Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework.
• Reid Holmes,Tristan Ratchford,Martin P. Robillard,Robert J. Walker,Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks.
• Yiqiao Wang,John Mylopoulos,Self-Repair through Reconfiguration: A Requirements Engineering Approach.
• Feng Chen,Patrick O'Neil Meredith,Dongyun Jin,Grigore Rosu,Efficient Formalism-Independent Monitoring of Parametric Properties.
• Jong-hoon (David) An,Avik Chaudhuri,Jeffrey S. Foster,Static Typing for Ruby on Rails.
• Lucas C. Cordeiro,Bernd Fischer,João Marques-Silva,SMT-Based Bounded Model Checking for Embedded ANSI-C Software.
• Ewen Denney,Bernd Fischer,A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.
• Jinhan Kim,Sanghoon Lee,Seung-won Hwang,Sunghun Kim,Adding Examples into Java Documents.
• Mithun Acharya,Vamshidhar Kommineni,Mining Health Models for Performance Monitoring of Services.
• Louis M. Rose,Dimitrios S. Kolovos,Richard F. Paige,Fiona A. C. Polack,Enhanced Automation for Managing Model and Metamodel Inconsistency.
• Shaimaa Ali,James H. Andrews,Tamilselvi Dhandapani,Wantao Wang,Evaluating the Accuracy of Fault Localization Techniques.
• Tung Thanh Nguyen,Hoan Anh Nguyen,Nam H. Pham,Jafar M. Al-Kofahi,Tien N. Nguyen,Clone-Aware Configuration Management.
• Robert J. Hall,A Quantum Algorithm for Software Engineering Search.
• Baris Güldali,Holger Funke,Michael Jahnich,Stefan Sauer,Gregor Engels,Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering.
• Ali Taleghani,Joanne M. Atlee,State-Space Coverage Estimation.
• Rattikorn Hewett,Phongphun Kijsanayothin,Automated Test Order Generation for Software Component Integration Testing.
• Huai Wang,W. K. Chan,Weaving Context Sensitivity into Test Suite Construction.
• Raffi Khatchadourian,Phil Greenwood,Awais Rashid,Guoqing (Harry) Xu,Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software.
• Andrzej Wasylkowski,Andreas Zeller,Mining Temporal Specifications from Object Usage.
• Alberto Sardinha,Ruzanna Chitchyan,Nathan Weston,Phil Greenwood,Awais Rashid,EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements.
• Jiri Barnat,Lubos Brim,Pavel Simecek,Cluster-Based I/O-Efficient LTL Model Checking.
• Florence T. Balagtas-Fernandez,Heinrich Hussmann,A Methodology and Framework to Simplify Usability Analysis of Mobile Applications.
• Daniel Balasubramanian,Ethan K. Jackson,Lost in Translation: Forgetful Semantic Anchoring.
• Cyrille Artho,Watcharin Leungwattanakit,Masami Hagiya,Yoshinori Tanabe,Mitsuharu Yamamoto,Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.
• Phillip Green II,Tim Menzies,Steve Williams,Oussama El-Rawas,Understanding the Value of Software Engineering Technologies.
• Marco Piccioni,Manuel Oriol,Bertrand Meyer,Teseo Schneider,An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.
• Felipe Lalanne,Stéphane Maag,Edgardo Montes de Oca,Ana R. Cavalli,Wissam Mallouli,Arnaud Gonguet,An Automated Passive Testing Approach for the IMS PoC Service.
• Sandro Boccuzzo,Harald C. Gall,Automated Comprehension Tasks in Software Exploration.
• Brett Daniel,Vilas Jagannath,Danny Dig,Darko Marinov,ReAssert: Suggesting Repairs for Broken Unit Tests.
• Junaid Haroon Siddiqui,Darko Marinov,Sarfraz Khurshid,Optimizing a Structural Constraint Solver for Efficient Software Checking.
• Patrycja Wegrzynowicz,Krzysztof Stencel,Towards a Comprehensive Test Suite for Detectors of Design Patterns.
• Brian C. Dean,William B. Pressly,Brian A. Malloy,Adam A. Whitley,A Linear Programming Approach for Automated Localization of Multiple Faults.
• Kim Lauenroth,Klaus Pohl,Simon Toehning,Model Checking of Domain Artifacts in Product Line Engineering.
• Matthias Book,Tobias Brückmann,Volker Gruhn,Malte Hülder,Specification and Control of Interface Responses to User Input in Rich Internet Applications.
• Steven Lauterburg,Mirco Dotta,Darko Marinov,Gul A. Agha,A Framework for State-Space Exploration of Java-Based Actor Programs.
• David Kawrykow,Martin P. Robillard,Improving API Usage through Automatic Detection of Redundant Code.
• Michael Pradel,Thomas R. Gross,Automatic Generation of Object Usage Specifications from Large Method Traces.
• Pengcheng Zhang,Lars Grunske,Antony Tang,Bixin Li,A Formal Syntax for Probabilistic Timed Property Sequence Charts.
• Eugen C. Nistor,André van der Hoek,Explicit Concern-Driven Development with ArchEvol.
• Jacob Burnim,Nicholas Jalbert,Christos Stergiou,Koushik Sen,Looper: Lightweight Detection of Infinite Loops at Runtime.
• Suresh Thummalapenta,Tao Xie,Alattin: Mining Alternative Patterns for Detecting Neglected Conditions.
• Sangmok Han,David R. Wallace,Robert C. Miller,Code Completion from Abbreviated Input.
• Muhammad Zubair Malik,Khalid Ghori,Bassem Elkarablieh,Sarfraz Khurshid,A Case for Automated Debugging Using Data Structure Repair.
• Hao Zhong,Lu Zhang,Tao Xie,Hong Mei,Inferring Resource Specifications from Natural Language API Documentation.
• Shivkumar Shivaji,E. James Whitehead Jr.,Ram Akella,Sunghun Kim,Reducing Features to Improve Bug Prediction.
• Sunny Wong,Yuanfang Cai,Giuseppe Valetto,Georgi Simeonov,Kanwarpreet Sethi,Design Rule Hierarchies and Parallelism in Software Development Tasks.
• Bryan Lemon,Aaron Riesbeck,Tim Menzies,Justin Price,Joseph D'Alessandro,Rikard Carlsson,Tomi Prifiti,Fayola Peters,Huihua Lu,Daniel Port,Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development.
• Yuhoon Ki,Meongchul Song,An Open Source-Based Approach to Software Development Infrastructures.
• Valentin Dallmeier,Andreas Zeller,Bertrand Meyer,Generating Fixes from Object Behavior Anomalies.
• Oscar González,Rubby Casallas,Dirk Deridder,Automating the Implementation of Analysis Concerns in Workflow Applications.
• Sunny Wong,Yuanfang Cai,Improving the Efficiency of Dependency Analysis in Logical Decision Models.

2008

• Kunal Taneja,Tao Xie,DiffGen: Automated Regression Unit-Test Generation.
• Martin Pinzger,Automated Web Performance Analysis.
• Franck Chauvel,Olivier Barais,Isabelle Borne,Jean-Marc Jézéquel,Composition of Qualitative Adaptation Policies.
• Tung Thanh Nguyen,Hoan Anh Nguyen,Nam H. Pham,Jafar M. Al-Kofahi,Tien N. Nguyen,Cleman: Comprehensive Clone Group Evolution Management.
• Seojin Kim,Sungjin Park,Jeonghyun Yun,Younghoo Lee,Automated Continuous Integration of Component-Based Software: An Industrial Experience.
• Patrick Mäder,Orlena Gotel,Ilka Philippow,Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models.
• Shadi Abdul Khalek,Bassem Elkarablieh,Yai O. Laleye,Sarfraz Khurshid,Query-Aware Test Generation Using a Relational Constraint Solver.
• Rahmat Adnan,Bas Graaf,Arie van Deursen,Joost Zonneveld,Using Cluster Analysis to Improve the Design of Component Interfaces.
• Hendrik Post,Carsten Sinz,Alexander Kaiser,Thomas Gorges,Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
• Jesper Andersen,Julia L. Lawall,Generic Patch Inference.
• Gerard J. Holzmann,Rajeev Joshi,Alex Groce,Swarm Verification.
• Carsten Köllmann,Michael Goedicke,A Specification Language for Static Analysis of Student Exercises.
• Andrea Zisman,George Spanoudakis,James Dooley,A Framework for Dynamic Service Discovery.
• Hwa-You Hsu,James A. Jones,Alessandro Orso,Rapid: Identifying Bug Signatures to Support Debugging Activities.
• Paul Grünbacher,Rick Rabiser,Deepak Dhungana,Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite.
• Rajesh Hegde,Prasun Dewan,Connecting Programming Environments to Support Ad-Hoc Collaboration.
• George Edwards,Nenad Medvidovic,A Methodology and Framework for Creating Domain-Specific Development Infrastructures.
• Guozheng Ge,E. James Whitehead Jr.,Rhizome: A Feature Modeling and Generation Platform.
• Matteo Pradella,Angelo Morzenti,Pierluigi San Pietro,Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
• Raúl A. Santelices,Pavan Kumar Chittimalli,Taweesup Apiwattanapong,Alessandro Orso,Mary Jean Harrold,Test-Suite Augmentation for Evolving Software.
• J. Michael Moore,Frank M. Shipman III,Combining the Analysis of Spatial Layout and Text to Support Design Exploration.
• Danfeng Zhang,Yao Guo,Xiangqun Chen,Automated Aspect Recommendation through Clustering-Based Fan-in Analysis.
• Abizer Khambati,John C. Grundy,James Warren,John G. Hosking,Model-Driven Development of Mobile Personal Health Care Applications.
• Hsinyi Jiang,Tien N. Nguyen,Ing-Xiang Chen,Hojun Jaygarl,Carl K. Chang,Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management.
• Ciera Jaspan,Trisha Quan,Jonathan Aldrich,Error Reporting Logic.
• Wolfgang Mayer,Markus Stumptner,Evaluating Models for Model-Based Debugging.
• Pallavi Joshi,Koushik Sen,Predictive Typestate Checking of Multithreaded Java Programs.
• Maxim Shevertalov,Spiros Mancoridis,A Case Study on the Automatic Composition of Network Application Mashups.
• Thomas E. Hart,Kelvin Ku,Arie Gurfinkel,Marsha Chechik,David Lie,Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
• Moonzoo Kim,Yunho Kim,Hotae Kim,Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
• Virginia Papailiopoulou,Automatic Test Generation for LUSTRE/SCADE Programs.
• Bruno Cabral,Paulo Marques,A Case for Automatic Exception Handling.
• Matthew B. Dwyer,Madeline Diep,Sebastian G. Elbaum,Reducing the Cost of Path Property Monitoring Through Sampling.
• Brett Daniel,Marat Boshernitsan,Predicting Effectiveness of Automatic Testing Tools.
• Nicolas Frisby,Unifying Analysis Tools with Rosetta.
• Rafael Capilla,Francisco Nava,Carlos Carrillo,Effort Estimation in Capturing Architectural Knowledge.
• Matthew Jorde,Sebastian G. Elbaum,Matthew B. Dwyer,Increasing Test Granularity by Aggregating Unit Tests.
• Christian Kästner,Sven Apel,Type-Checking Software Product Lines - A Formal Approach.
• Alma L. Juarez Dominguez,Feature Interaction Detection in the Automotive Domain.
• Zvonimir Rakamaric,Alan J. Hu,Automatic Inference of Frame Axioms Using Static Analysis.
• Eduardo Cunha de Almeida,Gerson Sunyé,Yves Le Traon,Patrick Valduriez,Testing Peers' Volatility.
• Dirk Beyer,Thomas A. Henzinger,Grégory Théoduloz,Program Analysis with Dynamic Precision Adjustment.
• Kobi Inkumsah,Tao Xie,Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution.
• Rick Salay,John Mylopoulos,Steve M. Easterbrook,Managing Models through Macromodeling.
• Rafael H. Bordini,Louise A. Dennis,Berndt Farwer,Michael Fisher,Automated Verification of Multi-Agent Programs.
• James H. Andrews,Alex Groce,Melissa Weston,Ru-Gang Xu,Random Test Run Length and Effectiveness.
• David A. Turner,Moonju Park,Jaehwan Kim,Jinseok Chae,An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach.
• Andrea De Lucia,Rocco Oliveto,Genoveffa Tortora,IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes.
• Beat Fluri,Emanuel Giger,Harald C. Gall,Discovering Patterns of Change Types.
• Neil Walkinshaw,Kirill Bogdanov,Inferring Finite-State Models with Temporal Constraints.
• Andreas S. Andreou,Efi Papatheocharous,Software Cost Estimation using Fuzzy Decision Trees.
• Mustafa Ispir,Aysu Betin Can,An Assume Guarantee Verification Methodology for Aspect-Oriented Programming.
• Jeffrey Fischer,Rupak Majumdar,Francesco Sorrentino,The Consistency of Web Conversations.
• Robert J. Hall,Validating Real Time Specifications using Real Time Event Queue Modeling.
• Wiwat Ruengmee,Roberto Silveira Silva Filho,Sushil Krishna Bajracharya,David F. Redmiles,Cristina Videira Lopes,XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap.
• David Lo,Shahar Maoz,Mining Scenario-Based Triggers and Effects.
• Ricardo Martinho,João Varajão,Dulce Domingos,A Two-Step Approach for Modelling Flexibility in Software Processes.
• Celina Gibbs,Jennifer Baldwin,Nieraj Singh,Maja D'Hondt,Yvonne Coady,Living with the Law: Can Automation give us Moore with Less?
• Florence T. Balagtas-Fernandez,Heinrich Hussmann,Model-Driven Development of Mobile Applications.
• Alexander Egyed,Emmanuel Letier,Anthony Finkelstein,Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.
• Daniel Port,Alexy Olkov,Tim Menzies,Using Simulation to Investigate Requirements Prioritization Strategies.
• Hiroaki Fukuda,Yoshikazu Yamamoto,A System for Supporting Development of Large Scaled Rich Internet Applications.
• Jean-Rémy Falleri,Marianne Huchard,Clémentine Nebut,A Generic Approach for Class Model Normalization.
• Suresh Thummalapenta,Tao Xie,SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web.
• Jacob Burnim,Koushik Sen,Heuristics for Scalable Dynamic Test Generation.
• Elad Yom-Tov,Rachel Tzoref,Shmuel Ur,Shlomo Hoory,Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.
• Romain Robbes,Michele Lanza,How Program History Can Improve Code Completion.
• Hendrik Post,Carsten Sinz,Configuration Lifting: Verification meets Software Configuration.
• Patrick O'Neil Meredith,Dongyun Jin,Feng Chen,Grigore Rosu,Efficient Monitoring of Parametric Context-Free Patterns.
• Antonia Bertolino,Guglielmo De Angelis,Antonino Sabetta,VCR: Virtual Capture and Replay for Performance Testing.
• Haifeng Shen,Siyuan Liu,Steven Xia,Chengzheng Sun,Distributed Constraints Maintenance in Collaborative UML Modeling Environments.
• Asem Eltaher,Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems.

2007

• Jeffrey Fischer,Rupak Majumdar,Ensuring consistency in long running transactions.
• David Schuler,Valentin Dallmeier,Christian Lindig,A dynamic birthmark for java.
• Koushik Sen,Effective random testing of concurrent programs.
• Mark Grechanik,Finding errors in components that exchange xml data.
• Suresh Thummalapenta,Tao Xie,Parseweb: a programmer assistant for reusing open source code on the web.
• Rupak Majumdar,Ru-Gang Xu,Directed test generation using symbolic grammars.
• Jiang Zheng,Laurie Williams,Brian Robinson,Pallino: automation to support regression test selection for cots-based applications.
• Matthew B. Dwyer,Rahul Purandare,Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.
• Anita Sarma,Gerald Bortis,André van der Hoek,Towards supporting awareness of indirect conflicts across software configuration management workspaces.
• Lingxiao Jiang,Zhendong Su,Context-aware statistical debugging: from bug predictors to faulty control flow paths.
• Cemal Yilmaz,Clay Williams,An automated model-based debugging approach.
• Yuhong Cai,John C. Grundy,John G. Hosking,Synthesizing client load models for performance engineering via web crawling.
• Fadi A. Zaraket,Adnan Aziz,Sarfraz Khurshid,Sequential circuits for program analysis.
• Yingfei Xiong,Dongxi Liu,Zhenjiang Hu,Haiyan Zhao,Masato Takeichi,Hong Mei,Towards automatic model synchronization from model transformations.
• Shay Artzi,Adam Kiezun,David Glasser,Michael D. Ernst,Combined static and dynamic mutability analysis.
• Pieter Hooimeijer,Westley Weimer,Modeling bug report quality.
• Emily Hill,Lori L. Pollock,K. Vijay-Shanker,Exploring the neighborhood with dora to expedite software maintenance.
• Chuan Duan,Jane Cleland-Huang,Clustering support for automated tracing.
• Jun Chen,Steve MacDonald,Testing concurrent programs using value schedules.
• Steven P. Reiss,Automatic code stylizing.
• Bassem Elkarablieh,Ivan Garcia,Yuk Lai Suen,Sarfraz Khurshid,Assertion-based repair of complex data structures.
• James A. Clause,Ioannis Doudalis,Alessandro Orso,Milos Prvulovic,Effective memory protection using dynamic tainting.
• Elliot Barlas,Tevfik Bultan,Netstub: a framework for verification of distributed java applications.
• Penelope A. Brooks,Atif M. Memon,Automated gui testing guided by usage profiles.
• Barthélémy Dagenais,Silvia Breu,Frédéric Weigand Warr,Martin P. Robillard,Inferring structural patterns for concern traceability in evolving software.
• Ali Ebnenasir,Diconic addition of failsafe fault-tolerance.
• Derek Rayside,Lucy Mendel,Object ownership profiling: a technique for finding and fixing memory leaks.
• Raúl A. Santelices,Mary Jean Harrold,Efficiently monitoring data-flow test coverage.
• Naoyasu Ubayashi,Akihiro Sakai,Tetsuo Tamai,An aspect-oriented weaving mechanism based on component and connector architecture.
• Yiqiao Wang,Sheila A. McIlraith,Yijun Yu,John Mylopoulos,An automated approach to monitoring and diagnosing requirements.
• James H. Andrews,Felix Chun Hang Li,Tim Menzies,Nighthawk: a two-level genetic-random unit test data generator.
• Tim Menzies,Oussama El-Rawas,Jairus Hihn,Martin S. Feather,Raymond J. Madachy,Barry W. Boehm,The business case for automated software engineering.
• Jüri Vain,Kullo Raiend,Andres Kull,Juhan P. Ernits,Synthesis of test purpose directed reactive planning tester for nondeterministic systems.
• Michal Antkiewicz,Thiago T. Bartolomei,Krzysztof Czarnecki,Automatic extraction of framework-specific models from framework-based application code.
• Dapeng Liu,Andrian Marcus,Denys Poshyvanyk,Vaclav Rajlich,Feature location via information retrieval based filtering of a single scenario execution trace.
• Greg Little,Robert C. Miller,Keyword programming in java.

2006

• Cyrille Artho,Pierre-Loïc Garoche,Accurate Centralization for Applying Model Checking on Networked Applications.
• Nija Shi,Ronald A. Olsson,Reverse Engineering of Design Patterns from Java Source Code.
• Andrew Ireland,Towards Automatic Assertion Refinement for Separation Logic.
• Alexander Paar,Walter F. Tichy,Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.
• Marwan Abi-Antoun,Jonathan Aldrich,Nagi H. Nahas,Bradley R. Schmerl,David Garlan,Differencing and Merging of Architectural Views.
• Fabio Mancinelli,Jaap Boender,Roberto Di Cosmo,Jerome Vouillon,Berke Durak,Xavier Leroy,Ralf Treinen,Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.
• Xianghua Deng,Jooyong Lee,Robby,Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
• Sunghun Kim,Thomas Zimmermann,Kai Pan,E. James Whitehead Jr.,Automatic Identification of Bug-Introducing Changes.
• Maximilian Störzer,Florian Forster,Detecting Precedence-Related Advice Interference.
• Murali Krishna Ramanathan,Ananth Grama,Suresh Jagannathan,Sieve: A Tool for Automatically Detecting Variations Across Program Versions.
• Christian Neumuller,Paul Grünbacher,Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne.
• William G. J. Halfond,Alessandro Orso,Command-Form Coverage for Testing Database Applications.
• Leonardo Gresta Paulino Murta,André van der Hoek,Cláudia Maria Lima Werner,ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links.
• Michael Eichberg,Mira Mezini,Sven Kloppenburg,Klaus Ostermann,Benjamin Rank,Integrating and Scheduling an Open Set of Static Analyses.
• Mikhail Chalabine,Christoph W. Keßler,Peter Bunus,Automated Round-trip Software Engineering in Aspect Weaving Systems.
• Odile Laurent,Christel Seguin,Virginie Wiels,A methodology for automated test generation guided by functional coverage constraints at specification level.
• Silvia Breu,Thomas Zimmermann,Mining Aspects from Version History.
• Yuanfang Cai,Kevin J. Sullivan,Modularity Analysis of Logical Design Models.
• Philip Gross,Gail E. Kaiser,Automated Information Aggregation for Scaling Scale-Resistant Services.
• Tobias Reinhard,Christian Seybold,Silvio Meier,Martin Glinz,Nancy Merlo-Schett,Human-Friendly Line Routing for Hierarchical Diagrams.
• Paolo Falcarin,Marco Torchiano,Automated Reasoning on Aspects Interactions.
• Chang Liu,En Ye,Debra J. Richardson,Software Library Usage Pattern Extraction Using a Software Model Checker.
• Peter Weißgerber,Stephan Diehl,Identifying Refactorings from Source-Code Changes.
• Eugen-Nicolae Volanschi,A Portable Compiler-Integrated Approach to Permanent Checking.
• Tien Nhut Nguyen,A Unified Model for Product Data Management and Software Configuration Management.
• Jürgen Falb,Thomas Röck,Edin Arnautovic,Using communicative acts in interaction design specifications for automated synthesis of user interfaces.
• Ewen Denney,Bernd Fischer,Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
• Naouel Moha,Yann-Gaël Guéhéneuc,Pierre Leduc,Automatic Generation of Detection Algorithms for Design Defects.
• Kristina Winbladh,Thomas A. Alspaugh,Hadar Ziv,Debra J. Richardson,An Automated Approach for Goal-driven, Specification-based Testing.
• Marcelo d'Amorim,Carlos Pacheco,Tao Xie,Darko Marinov,Michael D. Ernst,An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.
• Jacky Estublier,Sergio Garcia,Concurrent Engineering support in Software Engineering.
• Mithun Acharya,Tanu Sharma,Jun Xu,Tao Xie,Effective Generation of Interface Robustness Properties for Static Analysis.
• Ken Satoh,Ken Kaneiwa,Takeaki Uno,Contradiction Finding and Minimal Recovery for UML Class Diagrams.
• Loris Penserini,Anna Perini,Angelo Susi,John Mylopoulos,From Capability Specifications to Code for Multi-Agent Software.
• Jan Jürjens,Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.
• Matthias Book,Volker Gruhn,Gerald Mucke,An Instant Message-Driven User Interface Framework for Thin Client Applications.
• Ian Warren,Jing Sun,Sanjev Krishnamohan,Thiranjith Weerasinghe,An Automated Formal Approach to Managing Dynamic Reconfiguration.
• Ahmed E. Hassan,Ken Zhang,Using Decision Trees to Predict the Certification Result of a Build.
• John C. Grundy,John G. Hosking,Nianping Zhu,Na Liu,Generating Domain-Specific Visual Language Editors from High-level Tool Specifications.

2005

• Dezhuang Zhang,Rance Cleaveland,Efficient temporal-logic query checking for presburger systems.
• Li Tan,Model-based self-monitoring embedded programs with temporal logic specifications.
• Mark Hennessy,James F. Power,An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software.
• Jean-François Couchot,Alain Giorgetti,Nikolai Kosmatov,A uniform deductive approach for parameterized protocol safety.
• William G. J. Halfond,Alessandro Orso,AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks.
• Tim Menzies,Daniel Port,Zhihao Chen,Jairus Hihn,Specialization and extrapolation of software cost models.
• Marcelo F. Frias,Rodolfo Gamarra,Gabriela Steren,Lorena Bourg,A strategy for efficient verification of relational specifications, based on monotonicity analysis.
• Sonia Ben Mokhtar,Jinshan Liu,Nikolaos Georgantas,Valérie Issarny,QoS-aware dynamic service composition in ambient intelligence environments.
• David C. Shepherd,Jeffrey Palm,Lori L. Pollock,Mark Chu-Carroll,Timna: a framework for automatically combining aspect mining analyses.
• James A. Jones,Mary Jean Harrold,Empirical evaluation of the tarantula automatic fault-localization technique.
• Eelco Dolstra,Secure sharing between untrusted users in a transparent source/binary deployment model.
• Magnus Eriksson,Henrik Morast,Jürgen Börstler,Kjell Borg,The PLUSS toolkit - extending telelogic DOORS and IBM-rational rose to support product line use case modeling.
• Tao Wang,Abhik Roychoudhury,Automated path generation for software fault localization.
• Steven P. Reiss,A component model for internet-scale applications.
• Rahul Agarwal,Amit Sasturkar,Liqiang Wang,Scott D. Stoller,Optimized run-time race detection and atomicity checking using partial discovered types.
• Alexander Egyed,Stefan Biffl,Matthias Heindl,Paul Grünbacher,Determining the cost-quality trade-off for automated software traceability.
• Xiyang Liu,Hehui Liu,Bin Wang,Ping Chen,Xiyao Cai,A unified fitness function calculation rule for flag conditions to improve evolutionary testing.
• Aaron G. Cass,Leon J. Osterweil,Process support to help novices design software faster and better.
• Na Liu,John C. Grundy,John G. Hosking,A visual language and environment for composing web services.
• Neelam Gupta,Haifeng He,Xiangyu Zhang,Rajiv Gupta,Locating faulty code using failure-inducing chops.
• Akhil Mehra,John C. Grundy,John G. Hosking,A generic approach to supporting diagram differencing and merging for collaborative design.
• Justin Ward,Garrin Kimmell,Perry Alexander,Prufrock: a framework for constructing polytypic theorem provers.
• Galen S. Swint,Calton Pu,Gueyoung Jung,Wenchang Yan,Younggyun Koh,Qinyi Wu,Charles Consel,Akhil Sahai,Koichi Moriyama,Clearwater: extensible, flexible, modular code generation.
• Johan Fredriksson,Massimo Tivoli,Ivica Crnkovic,A component-based development framework for supporting functional and non-functional analysis in control system design.
• Sara Sprenkle,Emily Gibson,Sreedevi Sampath,Lori L. Pollock,Automated replay and failure detection for web applications.
• Rainer Koschke,Jochen Quante,On dynamic feature location.
• Yanyan Wang,Matthew J. Rutherford,Antonio Carzaniga,Alexander L. Wolf,Automating experimentation on distributed testbeds.
• Jan Jürjens,Mark Yampolskiy,Code security analysis with assertions.
• David Saff,Shay Artzi,Jeff H. Perkins,Michael D. Ernst,Automatic test factoring for java.
• Tristan Denmat,Mireille Ducassé,Olivier Ridoux,Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.
• Ada Diaconescu,John Murphy,Automating the performance management of component-based enterprise systems through the use of redundancy.
• Aysu Betin-Can,Tevfik Bultan,Mikael Lindvall,Benjamin Lux,Stefan Topp,Application of design for verification with concurrency controllers to air traffic control software.
• Willem Visser,Corina S. Pasareanu,Radek Pelánek,Test input generation for red-black trees using abstraction.
• Américo Sampaio,Ruzanna Chitchyan,Paul Rayson,EA-Miner: a tool for automating aspect-oriented requirements identification.
• Johannes Mayer,Lattice-based adaptive random testing.
• Subash Shankar,Sinan Asa,Vladimir Sipos,Xiaowei Xu,Reasoning about real-time statecharts in the presence of semantic variations.
• Chouki Tibermacine,Régis Fleurquin,Salah Sadou,NFRs-aware architectural evolution of component-based software.
• Adrian Lienhard,Stéphane Ducasse,Gabriela Arévalo,Identifying traits with formal concept analysis.
• Abhay Vardhan,Mahesh Viswanathan,Learning to verify branching time properties.
• May Haydar,Sergiy Boroday,Alexandre Petrenko,Houari A. Sahraoui,Properties and scopes in web model checking.
• Yuanfang Cai,Kevin J. Sullivan,Simon: modeling and analysis of design space structures.
• Gregor Engels,Martin Erwig,ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
• Alma L. Juarez Dominguez,Nancy A. Day,Compositional reasoning for port-based distributed systems.
• Daniel Hoffman,Kevin Yoo,Blowtorch: a framework for firewall test automation.
• Paola Inverardi,Leonardo Mostarda,Massimo Tivoli,Marco Autili,Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
• Tsong Yueh Chen,Robert G. Merkel,Quasi-random testing.
• Neha Rungta,Eric G. Mercer,A context-sensitive structural heuristic for guided search model checking.
• Sujatha Kashyap,Vijay K. Garg,Exploiting predicate structure for efficient reachability detection.
• Ana Milanova,Precise identification of composition relationships for UML class diagrams.
• Dan Hao,Ying Pan,Lu Zhang,Wei Zhao,Hong Mei,Jiasu Sun,A similarity-aware approach to testing based fault localization.
• Songtao Xia,Ben Di Vito,César A. Muñoz,Automated test generation for engineering applications.
• Zhenchang Xing,Eleni Stroulia,UMLDiff: an algorithm for object-oriented design differencing.
• David Coppit,Jiexin Lian,yagg: an easy-to-use generator for structured test inputs.
• Alex Blewitt,Alan Bundy,Ian Stark,Automatic verification of design patterns in Java.
• Rohit Gheyi,Tiago Massoni,Paulo Borba,A rigorous approach for proving model refactorings.
• Naoyasu Ubayashi,Genki Moriyama,Hidehiko Masuhara,Tetsuo Tamai,A parameterized interpreter for modeling different AOP mechanisms.
• Guillaume Langelier,Houari A. Sahraoui,Pierre Poulin,Visualization-based analysis of quality for large-scale software systems.
• Dianxiang Xu,Kendall E. Nygard,A threat-driven approach to modeling and verifying secure software.
• Karsten Ehrig,Claudia Ermel,Stefan Hänsgen,Gabriele Taentzer,Generation of visual editors as eclipse plug-ins.
• Arnaud Gotlieb,Tristan Denmat,Bernard Botella,Constraint-based test data generation in the presence of stack-directed pointers.
• Shiva Nejati,Marsha Chechik,Let's agree to disagree.
• Gregory M. Kapfhammer,Mary Lou Soffa,Daniel Mossé,Testing in resource constrained execution environments.

2004

• Sven Johann,Alexander Egyed,Instant and Incremental Transformation of Models.
• Wee Kheng Leow,Siau-Cheng Khoo,Tiong Hoe Loh,Vivy Suhendra,Heuristic Search with Reachability Tests for Automated Generation of Test Programs.
• Dirk Heuzeroth,COMPASS: Tool-Supported Adaptation of Interactions.
• Rosco Hill,Joe Rideout,Automatic Method Completion.
• Colin Blundell,Kathi Fisler,Shriram Krishnamurthi,Pascal Van Hentenryck,Parameterized Interfaces for Open System Verification of Product Lines.
• Marcos Kalinowski,Guilherme Horta Travassos,Computational Framework for Supporting Software Inspections.
• Aysu Betin-Can,Tevfik Bultan,Verifiable Concurrent Programming Using Concurrency Controllers.
• Shuping Cao,John C. Grundy,John G. Hosking,Hermann Stoeckle,Ewan D. Tempero,An Architecture for Generating Web-Based, Thin-Client Diagramming Tools.
• Nicky Williams,Bruno Marre,Patricia Mouy,On-the-Fly Generation of K-Path Tests for C Functions.
• James H. Andrews,Case Study of Coverage-Checked Random Data Structure Testing.
• Wei Yu,Jun Li,Greg Butler,Refactoring Use Case Models on Episodes.
• Atif M. Memon,Qing Xie,Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software.
• Zakarya Alzamil,RCAT: A Performance Analysis Tool.
• Ricardo Pereira e Silva,Evandro César Freiberger,Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information.
• Yuhong Cai,John C. Grundy,John G. Hosking,Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool.
• Mana Taghdiri,Inferring Specifications to Detect Errors in Code.
• Matthew B. Dwyer,Robby,Oksana Tkachuk,Willem Visser,Analyzing Interaction Orderings with Model Checking.
• Lydie du Bousquet,Yves Ledru,Olivier Maury,Catherine Oriat,Jean-Louis Lanet,Case Study in JML-Based Software Validation.
• Matthew McNaughton,Maria Cutumisu,Duane Szafron,Jonathan Schaeffer,James Redford,Dominique Parker,ScriptEase: Generative Design Patterns for Computer Role-Playing Games.
• Axel Rauschmayer,Alexander Knapp,Martin Wirsing,Consistency Checking in an Infrastructure for Large-Scale Generative.
• Tao Xie,Darko Marinov,David Notkin,Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.
• Franck Fleurey,Yves Le Traon,Benoit Baudry,From Testing to Diagnosis: An Automated Approach.
• Yunja Choi,Mats Per Erik Heimdahl,Combination Model Checking: Approach and a Case Study.
• Anton Jansen,Jan Bosch,Evaluation of Tool Support for Architectural Evolution.
• Sebastian Bossung,Hermann Stoeckle,John C. Grundy,Robert Amor,John G. Hosking,Automated Data Mapping Specification via Schema Heuristics and User Interaction.
• Sreedevi Sampath,Valentin Mihaylov,Amie L. Souter,Lori L. Pollock,Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis.
• Jia Xu,Hridesh Rajan,Kevin J. Sullivan,Understanding Aspects via Implicit Invocation.
• Daniele Compare,Antonio D'Onofrio,Antinisca Di Marco,Paola Inverardi,Automated Performance Validation of Software Design: An Industrial Experience.
• Susan Khor,Peter Grogono,Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically.
• Imed Hammouda,Johannes Koskinen,Mika Pussinen,Mika Katara,Tommi Mikkonen,Adaptable Concern-Based Framework Specialization in UML.
• George Spanoudakis,Khaled Mahbub,Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus.
• Teruyoshi Zenmyo,Takashi Kobayashi,Motoshi Saeki,Automated Support for Framework Selection and Customization.
• Guillaume Marceau,Gregory H. Cooper,Shriram Krishnamurthi,Steven P. Reiss,Dataflow Language for Scriptable Debugging.
• Julian Richardson,Jeff Green,Automating Traceability for Generated Software Artifacts .
• Sascha Konrad,Laura A. Campbell,Betty H. C. Cheng,Automated Analysis of Timing Information in UML Diagrams.
• Silvia Breu,Jens Krinke,Aspect Mining Using Event Traces.
• Matthias Book,Volker Gruhn,Modeling Web-Based Dialog Flows for Automatic Dialog Control .
• Steven P. Reiss,CHET: A System for Checking Dynamic Specifications.
• Yun Lu,Joanne M. Atlee,Nancy A. Day,Jianwei Niu,Mapping Template Semantics to SMV.
• Shuhao Li,Ji Wang,Zhi-Chang Qi,Property-Oriented Test Generation from UML Statecharts.
• Philippa J. Hopcroft,Guy H. Broadfoot,Combining the Box Structure Development Method and CSP.
• Daniel R. Licata,Shriram Krishnamurthi,Verifying Interactive Web Programs.
• Robert J. Hall,Andrea Zisman,Validating Personal Requirements by Assisted Symbolic Behavior Browsing .
• Taweesup Apiwattanapong,Alessandro Orso,Mary Jean Harrold,A Differencing Algorithm for Object-Oriented Programs.
• Nikunj R. Mehta,Nenad Medvidovic,Marjan Sirjani,Farhad Arbab,Modeling Behavior in Compositions of Software Architectural Primitives.
• Mats Per Erik Heimdahl,George Devaraj,Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.
• Jutta Eusterbrock,Context-Aware Code Certification.
• Ji Wu,Xiao-xia Jia,Chang Liu,Hai-yan Yang,Chao Liu,Maozhong Jin,A Statistical Model to Locate Faults at Input Level.
• Filip Van Rysselberghe,Serge Demeyer,Evaluating Clone Detection Techniques from a Refactoring Perspective.
• Christer Persson,Nur Yilmaztürk,Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls'.
• Christos Kloukinas,Data-Mining Synthesised Schedulers for Hard Real-Time Systems.

2003

• Grigore Rosu,Feng Chen,Certifying Measurement Unit Safety Polic.
• Alejandra Garrido,Ralph E. Johnson,Refactoring C with Conditional Compilation.
• Christopher J. Turner,T. C. Nicholas Graham,Christopher Wolfe,Julian Ball,David Holman,Hugh D. Stewart,Arthur G. Ryman,Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations.
• Peter Bunus,Peter Fritzson,Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models.
• Clémentine Nebut,Simon Pickin,Yves Le Traon,Jean-Marc Jézéquel,Automated Requirements-based Generation of Test Cases for Product Families.
• Eugenia Díaz,Javier Tuya,Raquel Blanco,Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search.
• Yann-Gaël Guéhéneuc,Hervé Albin-Amiot,A Pragmatic Study of Binary Class Relationships.
• Jason McC. Smith,P. David Stotts,SPQR: Flexible Automated Design Pattern Extraction From Source Code.
• Sebastiano Vigna,Automatic Generation of Content Management Systems from EER-Based Specifications.
• Abhik Roychoudhury,Depiction and Playout of Multi-threaded Program Executions.
• Martin P. Robillard,Gail C. Murphy,Automatically Inferring Concern Code from Program Investigation Activities.
• Brandon Morel,Perry Alexander,Automating Component Adaptation for Reuse.
• Jiri Barnat,Lubos Brim,Jakub Chaloupka,Parallel Breadth-First Search LTL Model-Checking.
• Daniel R. Licata,Christopher D. Harris,Shriram Krishnamurthi,The Feature Signatures of Evolving Programs.
• Manos Renieris,Steven P. Reiss,Fault Localization With Nearest Neighbor Queries.
• Rickard A. Åberg,Julia L. Lawall,Mario Südholt,Gilles Muller,Anne-Françoise Le Meur,On the automatic evolution of an OS kernel using temporal logic and AOP.
• Bill J. Ellis,Andrew Ireland,Automation for Exception Freedom Proofs.
• Dirk Heuzeroth,Stefan Mandel,Welf Löwe,Generating Design Pattern Detectors from Pattern Specifications.
• Bernd Fischer,Johann Schumann,Applying AutoBayes to the Analysis of Planetary Nebulae Images.
• Neelam Gupta,Zachary V. Heidepriem,A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.
• David S. Wile,Architecture Style-Based Calculi for Non-functional Properties.
• Atif M. Memon,Ishan Banerjee,Adithya Nagarajan,What Test Oracle Should I Use for Effective GUI Testing?
• Wolfgang Mayer,Markus Stumptner,Extending Diagnosis to Debug Programs with Exceptions.
• Andrew Strelzoff,Linda R. Petzold,Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications.
• Lan Guo,Bojan Cukic,Harshinder Singh,Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks.
• Paul Grünbacher,Michael Halling,Stefan Biffl,An Empirical Study on Groupware Support for Software Inspection Meetings.
• Tao Xie,David Notkin,Tool-Assisted Unit Test Selection Based on Operational Violations.
• Moacir C. da Silva Jr.,Paulo Asterio de Castro Guerra,Cecília M. F. Rubira,A Java Component Model for Evolving Software Systems.
• Dean Herington,P. David Stotts,DeCo: A Declarative Coordination Framework for Scientific Model Federations.
• Howard Foster,Sebastián Uchitel,Jeff Magee,Jeff Kramer,Model-based Verification of Web Service Compositions.
• Yanif Ahmad,Tudor Antoniu,Sharon Goldwater,Shriram Krishnamurthi,A Type System for Statically Detecting Spreadsheet Errors.
• Hannah Harris,Mark Ryan,Theoretical Foundations of Updating Systems.
• Ilya Shlyakhter,Robert Seater,Daniel Jackson,Manu Sridharan,Mana Taghdiri,Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
• Noah Snavely,Saumya K. Debray,Gregory R. Andrews,Unspeculation.
• Eli Tilevich,Stephan Urbanski,Yannis Smaragdakis,Marc Fleury,Aspectizing Server-Side Distribution.
• Yunja Choi,Mats Per Erik Heimdahl,Model Checking Software Requirement Specifications using Domain Reduction Abstraction.
• James Skene,Wolfgang Emmerich,A Model-Driven Approach to Non-Functional Analysis of Software Architectures.
• Charles Consel,Laurent Réveillère,A Programmable Client-Server Model: Robust Extensibility via DSLs.
• Mehrdad Sabetzadeh,Steve M. Easterbrook,Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach.
• Harald Holz,An Incremental Approach to Task-Specific Information Delivery in SE Processe.
• Gabriela Arévalo,Stéphane Ducasse,Oscar Nierstrasz,XRay Views: Understanding the Internals of Classes.
• Oksana Tkachuk,Matthew B. Dwyer,Corina S. Pasareanu,Automated Environment Generation for Software Model Checking.
• Thomas Ellman,Specification and Synthesis of Hybrid Automata for Physics-Based Animation.
• Scott A. Hendrickson,Eric M. Dashofy,Richard N. Taylor,An Approach for Tracing and Understanding Asynchronous Architectures.
• Ingo Stürmer,Mirko Conrad,Test Suite Design for Code Generation Tools.
• Yuetang Deng,Phyllis G. Frankl,Zhongqiang Chen,Testing Database Transaction Concurrency.
• Robert J. Hall,Andrea Zisman,Overview of OpenModel-based Validation with Partial Information.

2002

• Alicia Martínez,Hugo Estrada,Juan Sánchez,Oscar Pastor,From Early Requirements to User Interface Prototyping: A Methodological Approach.
• Wamberto Weber Vasconcelos,Carles Sierra,Marc Esteva,An Approach to Rapid Prototyping of Large Multi-Agent Systems.
• Danielle Azar,Doina Precup,Salah Bouktif,Balázs Kégl,Houari A. Sahraoui,Combining and Adapting Software Quality Predictive Models by Genetic Algorithms.
• K. Suzanne Barber,Thomas J. Graser,Jim Holt,Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation.
• David Owen,Tim Menzies,Bojan Cukic,What Makes Finite-State Models More (or Less) Testable?
• Marlon E. R. Vieira,Debra J. Richardson,Analyzing Dependencies in Large Component-Based Systems.
• Mats Per Erik Heimdahl,Yunja Choi,Michael W. Whalen,Deviation Analysis Through Model Checking.
• Grigore Rosu,Jon Whittle,Towards Certifying Domain-Specific Properties of Synthesized Code.
• Robert J. Hall,CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.
• Karsten Loer,Michael D. Harrison,Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.
• Marcio S. Dias,Debra J. Richardson,Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.
• Falk Fraikin,Thomas Leonhardt,SeDiTeC - Testing Based on Sequence Diagrams.
• Dimitra Giannakopoulou,Corina S. Pasareanu,Howard Barringer,Assumption Generation for Software Component Verification.
• Mikhail Auguston,Clinton Jeffery,Scott Underwood,A Framework for Automatic Debugging.
• Xuejun Chen,Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems.
• Alessandro Maccari,Claudio Riva,Francesco Maccari,On CASE Tool Usage at Nokia.
• Alexander Egyed,Paul Grünbacher,Automating Requirements Traceability: Beyond the Record & Replay Paradigm.
• Hee Beng Kuan Tan,Weihong Li,Systematic Bridging the Gap between Requirements and OO Design.
• Benoit Baudry,Franck Fleurey,Jean-Marc Jézéquel,Yves Le Traon,Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.
• Nazareno Aguirre,T. S. E. Maibaum,A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.
• Muffy Calder,Alice Miller,Automatic Verification of any Number of Concurrent, Communicating Processes.
• Don S. Batory,Roberto E. Lopez-Herrejon,Jean-Philippe Martin,Generating Product-Lines of Product-Families.
• Harry C. Li,Shriram Krishnamurthi,Kathi Fisler,Interfaces for Modular Feature Verification.
• Pascal Fenkam,Harald C. Gall,Mehdi Jazayeri,Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing.
• Patrick J. Schroeder,Pat Faherty,Bogdan Korel,Generating Expected Results for Automated Black-Box Testing.
• Jehad Al-Dallal,Paul G. Sorenson,System Testing for Object-Oriented Frameworks Using Hook Technology.
• György Csertán,Gábor Huszerl,István Majzik,Zsigmond Pap,András Pataricza,Dániel Varró,VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.

2001

• Alexander Egyed,Robert Balzer,Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability.
• Bruno Legeard,Fabien Peureux,Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.
• Yunwen Ye,Gerhard Fischer,Context-Aware Browsing of Large Component Repositories.
• Yannick Chevalier,Laurent Vigneron,A Tool for Lazy Verification of Security Protocols.
• Ewen Denney,The Synthesis of a Java Card Tokenization Algorithm.
• Hervé Albin-Amiot,Pierre Cointe,Yann-Gaël Guéhéneuc,Narendra Jussien,Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together.
• Robert J. Hall,Specification Modeling and Validation Applied to a Family of Network Security Products.
• Martin Erwig,Programs Are Abstract Data Types.
• Alexander Egyed,Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach.
• Andrian Marcus,Jonathan I. Maletic,Identification of High-Level Concept Clones in Source Code.
• Kazuhiro Ogata,Kokichi Futatsugi,Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ.
• Jan Jürjens,Guido Wimmel,Formally Testing Fail-Safety of Electronic Purse Protocols.
• Yves Ledru,Lydie du Bousquet,Pierre Bontron,Olivier Maury,Catherine Oriat,Marie-Laure Potet,Test Purposes: Adapting the Notion of Specification to Testing.
• Apostolos Zarras,Valérie Issarny,Automating the Performance and Reliability Analysis of Enterprise Information Systems.
• Dieter Hutter,Axel Schairer,Towards an Evolutionary Formal Software Development.
• Alex Blewitt,Alan Bundy,Ian Stark,Automatic Verification of Java Design Patterns.
• Sandrine-Dominique Gouraud,Alain Denise,Marie-Claude Gaudel,B. Marr,A New Way of Automating Statistical Testing Methods.
• John C. Grundy,Yuhong Cai,Anna Liu,Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions.
• Ioannis Parissis,Jérôme Vassy,Strategies for Automated Specification-Based Testing of Synchronous Software.
• James M. Bieman,Sudipto Ghosh,Roger T. Alexander,A Technique for Mutation of Java Objects.
• Jean Bézivin,Olivier Gerbé,Towards a Precise Definition of the OMG/MDA Framework.
• Raimondas Lencevicius,Edu Metz,Alexander Ran,Tracing Execution of Software for Design Coverage.
• Gilles Ardourel,Marianne Huchard,AGATE, Access Graph-Based Tools for Handling Encapsulation.
• Tevfik Bultan,Tuba Yavuz-Kahveci,Action Language Verifier.
• K. Suzanne Barber,Thomas J. Graser,Jim Holt,Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.
• Dusko Pavlovic,Douglas R. Smith,Composition and Refinement of Behavioral Specifications.
• Artur S. d'Avila Garcez,Alessandra Russo,Bashar Nuseibeh,Jeff Kramer,An Analysis-Revision Cycle to Evolve Requirements Specifications.
• Andrea Zisman,Alexander Kozlenkov,Knowledge Base Approach to Consistency Management of UML Specification.
• Michael R. Lowry,Thomas Pressburger,Grigore Rosu,Certifying Domain-Specific Policies.
• Colin O'Halloran,Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.
• Twan Basten,Dragan Bosnacki,Enhancing Partial-Order Reduction via Process Clustering.
• Paul T. Graunke,Robert Bruce Findler,Shriram Krishnamurthi,Matthias Felleisen,Automatically Restructuring Programs for the We.
• Hoda Fahmy,Richard C. Holt,James R. Cordy,Wins and Losses of Algebraic Transformations of Software Architectures.
• Paola Inverardi,Henry Muccini,Patrizio Pelliccione,Automated Check of Architectural Models Consistency Using SPIN.
• Andrew Cook,Andrew Ireland,Greg Michaelson,Higher Order Function Synthesis Through Proof Planning.
• Iain McLaren,Tony Wicks,Developing Generative Frameworks Using XML.
• Gerald C. Gannod,Sunil Gupta,An Automated Tool for Analyzing Petri Nets Using SPIN.
• Klaus Havelund,Grigore Rosu,Monitoring Programs Using Rewriting.
• Brad Long,Daniel Hoffman,Paul A. Strooper,A Concurrency Test Tool for Java Monitors.
• Rajeev Alur,Radu Grosu,Shared Variables Interaction Diagrams.
• Nguyen Tran Sy,Yves Deville,Automatic Test Data Generation for Programs with Integer and Float Variables.
• Jon Whittle,Jeffrey Van Baalen,Johann Schumann,Peter Robinson,Thomas Pressburger,John Penix,Phil Oh,Michael R. Lowry,Guillaume P. Brat,Amphion/NAV: Deductive Synthesis of State Estimation Software.
• Radu Iosif,Exploiting Heap Symmetries in Explicit-State Model Checking of Software.
• Fei Xie,Vladimir Levin,James C. Browne,Model Checking for an Executable Subset of UML.
• Lars-Åke Fredlund,Dilian Gurov,Thomas Noll,Semi-Automated Verification of Erlang Code.
• Wuwei Shen,Kevin J. Compton,James Huggins,A UML Validation Toolset Based on Abstract State Machines.
• John C. Grundy,Rick Mugridge,John G. Hosking,Paul Kendall,Generating EDI Message Translations from Visual Specifications.
• Tim Menzies,James D. Kiper,Better Reasoning About Software Engineering Activities.
• Hung Ledang,Jeanine Souquières,Modeling Class Operations in B: Application to UML Behavioral Diagrams.
• Dimitra Giannakopoulou,Klaus Havelund,Automata-Based Verification of Temporal Properties on Running Programs.

2000

• Liwu Li,Translating Use Cases to Sequence Diagrams.
• Maurizio Morisio,Guilherme Travassos,Michael E. Stark,Extending UML to Support Domain Analysis.
• Houari A. Sahraoui,Hakim Lounis,Mounir Boukadoum,Frédéric Ethève,Towards the Automatic Assessment of Evolvability for Reusable Class Libraries.
• Raúl Monroy,The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures.
• Joseph A. Goguen,Kai Lin,Grigore Rosu,Circular Coinductive Rewriting.
• David Y. W. Park,Ulrich Stern,Jens U. Skakkebæk,David L. Dill,Java Model Checking.
• Mike G. Hill,Thomas W. Lake,Non-Interference Analysis for Mixed Criticality Code in Avionics Systems.
• Nikolai Mansurov,Dmitri Vasura,New Visual Interface for Engineering Use Case Models.
• Paulo Marcos Siqueira Bueno,Mario Jino,Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data.
• Colin O'Halloran,Issues for the Automatic Generation of Safety Critical Software.
• Martin S. Feather,Steven L. Cornford,Timothy W. Larson,Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support.
• Shahrul Azman Noah,Michael D. Williams,Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools.
• Guido Malpohl,James J. Hunt,Walter F. Tichy,Renaming Detection.
• Christos Kloukinas,Valérie Issarny,Automating the Composition of Middleware Configurations.
• Chang Liu,Debra J. Richardson,Automated Security Checking and Patching Using TestTalk.
• Alexander Egyed,Semantic Abstraction Rules for Class Diagrams.
• Sarfraz Khurshid,Daniel Jackson,Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer.
• Alexander E. Wise,Aaron G. Cass,Barbara Staudt Lerner,Eric K. McCall,Leon J. Osterweil,Stanley M. Sutton Jr.,Using Little-JIL to Coordinate Agents in Software Engineering.
• Marianne Huchard,Hervé Leblanc,Computing Interfaces in Java.
• John J. Kyaruzi,Jan van Katwijk,Towards Explicit Representation of Architectural Design Assumptions.
• Laurent Réveillère,Fabrice Mérillon,Charles Consel,Renaud Marlet,Gilles Muller,A DSL Approach to Improve Productivity and Safety in Device Drivers Development.
• H. M. Harmain,Robert J. Gaizauskas,CM-Builder: An Automated NL-Based CASE Tool.
• Christelle Chaudet,Flávio Oquendo,pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems.
• Willem Visser,Klaus Havelund,Guillaume P. Brat,Seungjoon Park,Model Checking Programs.
• Mark E. M. Stewart,An Experiment in Scientific Program Understanding.
• Khaled El-Fakih,Hirozumi Yamaguchi,Gregor von Bochmann,Teruo Higashino,Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.
• Robert J. Hall,Upgrading Legacy Instances of Reactive Systems.
• Mikal Ziane,A Transformational Viewpoint on Design Patterns.
• Hoda Fahmy,Richard C. Holt,Using Graph Rewriting to Specify Software Architectural Transformations.
• Klaus-Dieter Schewe,Controlled Automation of Consistency Enforcement.
• K. Suzanne Barber,Sutirtha Bhattacharya,Representing Technology to Promote Reuse in the Software Design Process.
• Neelam Gupta,Aditya P. Mathur,Mary Lou Soffa,Generating Test Data for Branch Coverage.
• Cleidson R. B. de Souza,Jair S. Ferreira Jr.,Kléder Miranda Gonçalves,Jacques Wainer,A Group Critic System for Object-Oriented Analysis and Design.
• W. Martin,P. White,F. S. Taylor,A. Goldberg,Formal Construction of the Mathematically Analyzed Separation Kernel.
• J. Michael Moore,Frank M. Shipman III,A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering.
• Régine Laleau,Amel Mammar,An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations.

1999

• Charles Pecheur,Advanced Modelling and Verification Techniques Applied to a Cluster File System.
• Jonathan I. Maletic,Naveen Valluri,Automatic Software Clustering via Latent Semantic Analysis.
• Chang Liu,Debra J. Richardson,Towards Discovery, Specification, and Verification of Component Usage.
• Colin O'Halloran,Alf Smith,Verification of Picture Generated Code.
• John J. Kyaruzi,Jan van Katwijk,Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties.
• Peter Henderson,Robert John Walters,Component-based Systems as an Aid to Design Validation.
• Stephen H. Brackin,Implementing Effective Automatic Cryptographic Protocol Analysis.
• Robert Waters,Spencer Rugaber,Gregory D. Abowd,Architectural Element Matching Using Concept Analysis.
• Dieter Kreuer,Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation.
• Andreas Becks,Jörg Köller,Automatically Structuring Textual Requirement Scenarios.
• Hassen Saïdi,Modular and Incremental Analysis of Concurrent Software Systems.
• Keith E. Williamson,Michael Healy,Industrial Applications of Software Synthesis via Category Theory.
• Thomas Emerson,Mark H. Burstein,Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications.
• Johan Lilius,Ivan Paltor,vUML: A Tool for Verifying UML Models.
• David S. Wile,AML: An Architecture Meta-Language.
• Dimitur Nikolaev Krustev,Software Test Generation Using Refinement Types.
• Wai-Ming Ho,Jean-Marc Jézéquel,Alain Le Guennec,François Pennaneac'h,UMLAUT: An Extendible UML Transformation Framework.
• Lydie du Bousquet,Nicolas Zuanon,An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software.
• Prasanta K. Bose,Mark G. Matthews,NAVCo: Negotiation-based Adaptive View Coordination.
• Michael Poppleton,Richard Banach,Retrenchment: Extending the Reach of Refinement.
• Norbert E. Fuchs,Uta Schwertel,Sunna Torge,Controlled Natural Language Can Replace First-Order Logic.
• Michael A. Copenhafer,Kevin J. Sullivan,Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties.
• Walter Cazzola,Andrea Savigni,Andrea Sosio,Francesco Tisato,Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level.
• Michael W. Whalen,Mats Per Erik Heimdahl,An Approach to Automatic Code Generation for Safety-Critical Systems.
• Gabriele Taentzer,Michael Goedicke,Torsten Meyer,Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems.
• Christopher A. Welty,David A. Ferrucci,A Formal Ontology for Re-Use of Software Architecture Documents.
• Thierry Miceli,Houari A. Sahraoui,Robert Godin,A Metric Based Technique for Design Flaws Detection and Correction.
• Alexander Egyed,Cristina Gacek,Automatically Detecting Mismatches During Component-based and Model-based Development.
• Prasanta K. Bose,Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.
• Ted J. Biggerstaff,Fixing Some Transformation Problems.
• Jamie Stark,Andrew Ireland,Towards Automatic Imperative Program Synthesis Through Proof Planning.
• Luiz Eduardo Galvão Martins,Beatriz Mascia Daltrini,An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory.
• Michael Stein,Mats Per Erik Heimdahl,John Riedl,Enhancing Annotation Visibility for Software Inspection.
• Cédric Besse,Ana R. Cavalli,David Lee,An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.
• Samuel Devulder,Jean-Luc Lambert,A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.
• Martin S. Feather,Benjamin D. Smith,Automatic Generation of Test Oracles-From Pilot Studies to Application.
• J. William Murdock,Ashok K. Goel,Towards Adaptive Web Agents.
• Enrico Tronci,Automatic Synthesis of Control Software for an Industrial Automation Control System.
• John Penix,Deductive Synthesis of Event-Based Software Architectures.
• Jon Whittle,Alan Bundy,Richard J. Boulton,Helen Lowe,An ML Editor Based on Proofs-As-Programs.
• Carine Fédèle,Emmanuel Kounalis,Automatic Proofs of Properties of Simple C-- Modules.
• Sridevi Lingamarla,Gautam B. Singh,John Limburg,Mary Watson,Gary Edwards,Scott Gobrogge,System for Automated Validation of Embedded Software in Multiple Operating Configurations.

1998

• Yida Mao,Houari A. Sahraoui,Hakim Lounis,Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study.
• Jeffrey Van Baalen,Peter Robinson,Michael R. Lowry,Thomas Pressburger,Explaining Synthesized Software.
• Angelo Morzenti,Pierluigi San Pietro,Sandro Morasca,A Tool for Automated System Analysis based on Modular Specifications.
• Virginie Wiels,Steve M. Easterbrook,Management of Evolving Specifications using Category Theory.
• Robert J. Hall,Explanation-based Scenario Generation for Reactive System Models.
• Kevin Gary,Timothy E. Lindquist,Harry Koehnemann,Jean-Claude Derniame,Component-based Software Process Support.
• Daniel Hazel,Paul A. Strooper,Owen Traynor,Requirements Engineering and Verification using Specification Animation.
• James Miller,Fraser MacDonald,ASSISTing Exit Decisions in Software Inspection.
• R. Mark Greenwood,Brian Warboys,Rachel Harrison,Peter Henderson,An Empirical Study of the Evolution of a Software System.
• Ali Erdem,W. Lewis Johnson,Stacy Marsella,Task Oriented Software Understanding.
• Terence J. Harmer,James M. Boyle,Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering.
• Nigel Tracey,John A. Clark,Keith Mander,John A. McDermid,An Automated Framework for Structural Test-Data Generation.
• Juei Chang,Debra J. Richardson,ADLscope: An Automated Specification-based Unit Testing Tool.
• Arthur Alexander Reyes,Debra J. Richardson,Specification-based Testing of Ada Units with Low Encapsulation.
• Colin O'Halloran,Alf Smith,Don't Verify, Abstract!
• M. P. A. Sellink,Chris Verhoef,Development, Assessment, and Reengineering of Language Descriptions.
• Stefan Leue,L. Mehrmann,Mohammad Rezai,Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.
• Bernd Fischer,Specification-based Browsing of Software Component Libraries.
• Michael Goedicke,Torsten Meyer,C. Piwetz,On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation.
• Christoph C. Michael,Gary McGraw,Automated Software Test Data Generation for Complex Programs.
• Raúl Monroy,Alan Bundy,Ian Green,Planning Equational Verification in CCS.
• T. L. McCluskey,Margaret Mary West,Towards the Automated Debugging and Maintenance of Logic-based Requirements Models.
• E. Baisch,T. Liedtke,Automated Knowledge Acquisition and Application for Software Development Projects.
• Theodosis Dimitrakos,Parameterising (Algebraic) Specifications on Diagrams.
• Joseph Gil,Y. Eckel,Statically Checkable Design Level Traits.
• Richard F. Paige,Jonathan S. Ostroff,From Z to BON/Eiffel.
• Amir Michail,David Notkin,Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach.
• Andrew Walenstein,Developing the Designer's Toolkit with Software Comprehension Models.
• E. Lee,C. Park,D. Lee,Detection of Exclusive OR Global Predicates.
• Jason McDonald,Daniel Hoffman,Paul A. Strooper,Programmatic Testing of the Standard Template Library Containers.
• Pierre Flener,Hamza Zidoum,Brahim Hnich,Schema-Guided Synthesis of Constraint Logic Programs.
• Armando Martin Haeberer,T. S. E. Maibaum,The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm.