Table of Contents

• Toward automated software developmentDoug Smith. 1 [doi]
• Specifying and verifying softwareK. Rustan M. Leino. 2 [doi]
• The embarrassing truth about software automation and what should be done about itBran Selic. 3 [doi]
• Scalable automatic test data generation from modeling diagramsYannis Smaragdakis, Christoph Csallner, Ranjith Subramanian. 4-13 [doi]
• Exploring the neighborhood with dora to expedite software maintenanceEmily Hill, Lori L. Pollock, K. Vijay-Shanker. 14-23 [doi]
• Netstub: a framework for verification of distributed java applicationsElliot Barlas, Tevfik Bultan. 24-33 [doi]
• Modeling bug report qualityPieter Hooimeijer, Westley Weimer. 34-43 [doi]
• Diconic addition of failsafe fault-toleranceAli Ebnenasir. 44-53 [doi]
• Ensuring consistency in long running transactionsJeffrey Fischer, Rupak Majumdar. 54-63 [doi]
• Assertion-based repair of complex data structuresBassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid. 64-73 [doi]
• Automatic code stylizingSteven P. Reiss. 74-83 [doi]
• Keyword programming in javaGreg Little, Robert C. Miller. 84-93 [doi]
• Towards supporting awareness of indirect conflicts across software configuration management workspacesAnita Sarma, Gerald Bortis, André van der Hoek. 94-103 [doi]
• Combined static and dynamic mutability analysisShay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst. 104-113 [doi]
• Sequential circuits for program analysisFadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid. 114-123 [doi]
• Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysisMatthew B. Dwyer, Rahul Purandare. 124-133 [doi]
• Directed test generation using symbolic grammarsRupak Majumdar, Ru-Gang Xu. 134-143 [doi]
• Nighthawk: a two-level genetic-random unit test data generatorJames H. Andrews, Felix Chun Hang Li, Tim Menzies. 144-153 [doi]
• An aspect-oriented weaving mechanism based on component and connector architectureNaoyasu Ubayashi, Akihiro Sakai, Tetsuo Tamai. 154-163 [doi]
• Towards automatic model synchronization from model transformationsYingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei. 164-173 [doi]
• An automated model-based debugging approachCemal Yilmaz, Clay Williams. 174-183 [doi]
• Context-aware statistical debugging: from bug predictors to faulty control flow pathsLingxiao Jiang, Zhendong Su. 184-193 [doi]
• Object ownership profiling: a technique for finding and fixing memory leaksDerek Rayside, Lucy Mendel. 194-203 [doi]
• Parseweb: a programmer assistant for reusing open source code on the webSuresh Thummalapenta, Tao Xie. 204-213 [doi]
• Automatic extraction of framework-specific models from framework-based application codeMichał Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki. 214-223 [doi]
• Pallino: automation to support regression test selection for cots-based applicationsJiang Zheng, Laurie Williams, Brian Robinson. 224-233 [doi]
• Feature location via information retrieval based filtering of a single scenario execution traceDapeng Liu, Andrian Marcus, Denys Poshyvanyk, Vaclav Rajlich. 234-243 [doi]
• Clustering support for automated tracingChuan Duan, Jane Cleland-Huang. 244-253 [doi]
• Inferring structural patterns for concern traceability in evolving softwareBarthélémy Dagenais, Silvia Breu, Frédéric Weigand Warr, Martin P. Robillard. 254-263 [doi]
• Finding errors in components that exchange xml dataMark Grechanik. 264-273 [doi]
• A dynamic birthmark for javaDavid Schuler, Valentin Dallmeier, Christian Lindig. 274-283 [doi]
• Effective memory protection using dynamic taintingJames A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic. 284-292 [doi]
• An automated approach to monitoring and diagnosing requirementsYiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos. 293-302 [doi]
• The business case for automated software engineeringTim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm. 303-312 [doi]
• Testing concurrent programs using value schedulesJun Chen, Steve MacDonald. 313-322 [doi]
• Effective random testing of concurrent programsKoushik Sen. 323-332 [doi]
• Automated gui testing guided by usage profilesPenelope A. Brooks, Atif M. Memon. 333-342 [doi]
• Efficiently monitoring data-flow test coverageRaúl A. Santelices, Mary Jean Harrold. 343-352 [doi]
• Synthesizing client load models for performance engineering via web crawlingYuhong Cai, John C. Grundy, John G. Hosking. 353-362 [doi]
• Synthesis of test purpose directed reactive planning tester for nondeterministic systemsJüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits. 363-372 [doi]
• Towards automated consistency checks of product line requirements specificationsKim Lauenroth, Klaus Pohl. 373-376 [doi]
• Automated detection of api refactorings in librariesKunal Taneja, Danny Dig, Tao Xie. 377-380 [doi]
• Improving evolutionary class testing in the presence of non-public methodsStefan Wappler, Ina Schieferdecker. 381-384 [doi]
• Behavioral adaptation of component compositions based on process algebra encodingsRadu Mateescu, Pascal Poizat, Gwen Salaün. 385-388 [doi]
• A buffer overflow benchmark for software model checkersKelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie. 389-392 [doi]
• Checking threat modeling data flow diagrams for implementation conformance and securityMarwan Abi-Antoun, Daniel Wang, Peter Torr. 393-396 [doi]
• Coevolving programs and unit tests from their specificationAndrea Arcuri, Xin Yao. 397-400 [doi]
• Combining environment generation and slicing for modular software model checkingOksana Tkachuk, Sreeranga P. Rajan. 401-404 [doi]
• Covering array sampling of input event sequences for automated gui testingXun Yuan, Myra Cohen, Atif M. Memon. 405-408 [doi]
• Direct-dependency-based software compatibility testingIl-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter. 409-412 [doi]
• Driving the selection of cots components on the basis of system requirementsVittorio Cortellessa, Ivica Crnkovic, Fabrizio Marinelli, Pasqualina Potena. 413-416 [doi]
• Efficient unit test case minimizationAndreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer. 417-420 [doi]
• An energy consumption framework for distributed java-based systemsChiyoung Seo, Sam Malek, Nenad Medvidovic. 421-424 [doi]
• Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programsKobi Inkumsah, Tao Xie. 425-428 [doi]
• Extracting rights and obligations from regulations: toward a tool-supported processNadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos. 429-432 [doi]
• Extraction of bug localization benchmarks from historyValentin Dallmeier, Thomas Zimmermann. 433-436 [doi]
• Feature interaction analysis: a maintenance perspectiveMaryam Shiri, Jameleddine Hassine, Juergen Rilling. 437-440 [doi]
• A framework and tool supports for testing modularity of software designYuanfang Cai, Sunny Huynh, Tao Xie. 441-444 [doi]
• Improving uml profile design practices by leveraging conceptual domain modelsFrançois Lagarde, Huáscar Espinoza, François Terrier, Sébastien Gérard. 445-448 [doi]
• An infrastructure for autonomic system development: the selflet approachDavide Devescovi, Elisabetta Di Nitto, Raffaela Mirandola. 449-452 [doi]
• Iterative model-driven development of adaptable service-based applicationsLeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè. 453-456 [doi]
• An approach to mining call-usage patternswith syntactic contextHuzefa H. Kagdi, Michael L. Collard, Jonathan I. Maletic. 457-460 [doi]
• Mining concepts from code with probabilistic topic modelsErik Linstead, Paul Rigor, Sushil Krishna Bajracharya, Cristina Videira Lopes, Pierre Baldi. 461-464 [doi]
• Mining modal scenario-based specifications from execution traces of reactive systemsDavid Lo, Shahar Maoz, Siau-Cheng Khoo. 465-468 [doi]
• Model-driven derivation of product architecturesGoetz Botterweck, Liam O Brien, Steffen Thiel. 469-472 [doi]
• Modular and generic programming with interpreterlibPhilip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander. 473-476 [doi]
• Reducing irrelevant trace variationsMadeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer. 477-480 [doi]
• Rteq: modeling and validating infinite-state hard-real-time systemsRobert J. Hall. 481-484 [doi]
• IMP: a meta-tooling platform for creating language-specific ides in eclipsePhilippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr.. 485-488 [doi]
• Scheduling of conflicting refactorings to promote quality improvementHui Liu, Ge Li, Zhiyi Ma, Weizhong Shao. 489-492 [doi]
• An evaluation scheme of adaptive configuration techniquesHuoping Chen, Salim Hariri. 493-496 [doi]
• Assisting potentially-repetitive small-scale changes via semi-automated heuristic searchMark M. McIntyre, Robert J. Walker. 497-500 [doi]
• Model checking concurrent linux device driversThomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher. 501-504 [doi]
• Test automation for kernel code and disk arrays with virtual devicesLin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang. 505-508 [doi]
• Towards leveraging model transformation to support model-based testingLeila Naslavsky, Hadar Ziv, Debra J. Richardson. 509-512 [doi]
• Unit testing concurrent softwareWilliam Pugh, Nathaniel Ayewah. 513-516 [doi]
• Validating system properties exhibited in execution tracesFangzhe Chang, Jennifer Ren. 517-520 [doi]
• Verifying C++ with STL containers via predicate abstractionNicolas Blanc, Alex Groce, Daniel Kroening. 521-524 [doi]
• CodeGenie: using test-cases to search and reuse source codeOtávio Augusto Lazzarini Lemos, Sushil Krishna Bajracharya, Joel Ossher, Ricardo Santos Morla, Paulo Cesar Masiero, Pierre Baldi, Cristina Videira Lopes. 525-526 [doi]
• Decor: a tool for the detection of design defectsNaouel Moha, Yann-Gaël Guéhéneuc. 527-528 [doi]
• DESERT: a decentralized monitoring tool generatorPaola Inverardi, Leonardo Mostarda. 529-530 [doi]
• Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements modelsHiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden. 531-532 [doi]
• Integrated tool support for software product line engineeringDeepak Dhungana, Rick Rabiser, Paul Grünbacher, Thomas Neumayer. 533-534 [doi]
• Mastering combinatorial explosion with the tobias-2 test generatorYves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose. 535-536 [doi]
• Smart: a tool for application reference testingQing Xie, Mark Grechanik, Matthew Hellige. 537-538 [doi]
• Test suite reduction and prioritization with call treesAdam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa. 539-540 [doi]
• The eureka tool for software model checkingAlessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica. 541-542 [doi]
• Tool support for the compile-time execution structure of object-oriented programs with ownership annotationsMarwan Abi-Antoun, Jonathan Aldrich. 543-544 [doi]
• Tools for model-based security engineering: models vs. codeJan Jürjens, Yijun Yu. 545-546 [doi]
• UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programmingJordi Cabot, Robert Clarisó, Daniel Riera. 547-548 [doi]
• Visualizing clone detection resultsRobert Tairas, Jeffrey G. Gray, Ira D. Baxter. 549-550 [doi]
• Adaptation hiding modularityYuanyuan Song. 551-554 [doi]
• Automating the identification of variability realisation techniques from feature modelsRachel Gawley. 555-558 [doi]
• Improving change prediction with fine-grained source code miningHuzefa H. Kagdi. 559-562 [doi]
• Using information retrieval to support design of incremental change of softwareDenys Poshyvanyk, Andrian Marcus. 563-566 [doi]
• Using traceability to support model-based regression testingLeila Naslavsky, Debra J. Richardson. 567-570 [doi]
• Concolic testingKoushik Sen. 571-572 [doi]
• Tutorial on JML, the java modeling languageGary T. Leavens. 573 [doi]
• Empirical research methods for software engineeringSteve M. Easterbrook. 574 [doi]
• Software reuse and evolution with generative techniquesKrzysztof Czarnecki. 575 [doi]
• Meta tools for implementing domain specific visual languagesJohn G. Hosking, John C. Grundy. 576 [doi]
• Rosetta: language support for system-level designPerry Alexander. 577 [doi]