Table of Contents

• Wikipedia and how to use it for semantic document representationIan H. Witten. 1 [doi]
• Unifying testing and analysis through behavioral coverageMatthew B. Dwyer. 2 [doi]
• Automated web application testing using search based software engineeringNadia Alshahwan, Mark Harman. 3-12 [doi]
• Auto-locating and fix-propagating for HTML validation errors to PHP server-side codeHung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 13-22 [doi]
• Scaling up automated test generation: Automatically generating maintainable regression unit tests for programsBrian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li. 23-32 [doi]
• Heap cloning: Enabling dynamic symbolic execution of java programsSaswat Anand, Mary Jean Harrold. 33-42 [doi]
• Automatic generation of load testsPingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer. 43-52 [doi]
• Symbolic search-based testingArthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos. 53-62 [doi]
• Automated documentation inference to explain failed testsSai Zhang, Cheng Zhang, Michael D. Ernst. 63-72 [doi]
• Generating program inputs for database application testingKai Pan, Xintao Wu, Tao Xie. 73-82 [doi]
• Prioritizing tests for fault localization through ambiguity group reductionAlberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund. 83-92 [doi]
• Identifying future field accesses in exhaustive state space traversalPavel Parizek, Ondrej Lhoták. 93-102 [doi]
• Model checking distributed systems by combining caching and process checkpointingWatcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. 103-112 [doi]
• Supporting domain-specific state space reductions through local partial-order reductionPéter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri. 113-122 [doi]
• Scalable and precise symbolic analysis for atomicity violationsMalay K. Ganai. 123-132 [doi]
• DC2: A framework for scalable, scope-bounded software verificationFranjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki. 133-142 [doi]
• Formalizing hardware/software interface specificationsJuncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey. 143-152 [doi]
• Safe asynchronous multicore memory operationsMatko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson. 153-162 [doi]
• A rule-based approach to the semantic lifting of model differences in the context of model versioningTimo Kehrer, Udo Kelter, Gabriele Taentzer. 163-172 [doi]
• A model-driven framework for guided design space explorationÁbel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró. 173-182 [doi]
• Automated extraction of architecture-level performance models of distributed component-based systemsFabian Brosig, Nikolaus Huber, Samuel Kounev. 183-192 [doi]
• Precomputing possible configuration error diagnosesAriel Rabkin, Randy H. Katz. 193-202 [doi]
• An optimal strategy for algorithmic debuggingDavid Insa, Josep Silva. 203-212 [doi]
• Localizing SQL faults in database applicationsSarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, Mary Jean Harrold. 213-222 [doi]
• Improving automated documentation to code traceability by combining retrieval techniquesXiaofan Chen, John C. Grundy. 223-232 [doi]
• Iterative mining of resource-releasing specificationsQian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei. 233-242 [doi]
• Flexible design pattern detection based on feature typesGhulam Rasool, Patrick Mäder. 243-252 [doi]
• Towards more accurate retrieval of duplicate bug reportsChengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang. 253-262 [doi]
• A topic-based approach for narrowing the search space of buggy files from a bug reportAnh Tuan Nguyen, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Hung Viet Nguyen, Tien N. Nguyen. 263-272 [doi]
• Specifying and detecting meaningful changes in programsYijun Yu, Thein Than Tun, Bashar Nuseibeh. 273-282 [doi]
• Self-adaptive software meets control theory: A preliminary approach supporting reliability requirementsAntonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio. 283-292 [doi]
• Generalizing evolutionary coupling with stochastic dependenciesSunny Wong, Yuanfang Cai. 293-302 [doi]
• Differential precondition checking: A lightweight, reusable analysis for refactoring toolsJeffrey L. Overbey, Ralph E. Johnson. 303-312 [doi]
• A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature modelsRichard Pohl, Kim Lauenroth, Klaus Pohl. 313-322 [doi]
• Finding relevant answers in software forumsSwapna Gottipati, David Lo, Jing Jiang. 323-332 [doi]
• Software process evaluation: A machine learning approachNing Chen, Steven C. H. Hoi, Xiaokui Xiao. 333-342 [doi]
• Local vs. global models for effort estimation and defect predictionTim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, David R. Cok. 343-351 [doi]
• Capacity planning for event-based systems using automated performance predictionsChristoph Rathfelder, Samuel Kounev, David Evans. 352-361 [doi]
• Ecological inference in empirical software engineeringDaryl Posnett, Vladimir Filkov, Premkumar T. Devanbu. 362-371 [doi]
• Detection of feature interactions using feature-aware verificationSven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer. 372-375 [doi]
• Querying source code with natural languageMarkus Kimmig, Martin Monperrus, Mira Mezini. 376-379 [doi]
• Coverage rewarded: Test input generation via adaptation-based programmingAlex Groce. 380-383 [doi]
• Mendel: Source code recommendation based on a genetic metaphorAngela Lozano, Andy Kellens, Kim Mens. 384-387 [doi]
• Optimizing the automatic test generation by SAT and SMT solving for Boolean expressionsPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 388-391 [doi]
• Code-based automated program fixingYu Pei 0001, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer. 392-395 [doi]
• Taming changes With 1.x-Way architecture-implementation mappingYongjie Zheng, Richard N. Taylor. 396-399 [doi]
• Evaluating test selection strategies for end-user specified flow-based applicationsKristina Winbladh, Anand Ranganathan. 400-403 [doi]
• Towards dynamic backward slicing of model transformationsZoltán Ujhelyi, Ákos Horváth, Dániel Varró. 404-407 [doi]
• Mining test oracles of web search enginesWujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King. 408-411 [doi]
• AutoODC: Automated generation of Orthogonal Defect ClassificationsLiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, Jeff Tian. 412-415 [doi]
• Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation Achraf Ghabi, Alexander Egyed. 416-419 [doi]
• Proximity based weighting of test cases to improve spectrum based fault localizationAritra Bandyopadhyay, Sudipto Ghosh. 420-423 [doi]
• Slicing feature modelsMathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France. 424-427 [doi]
• Using model checking to analyze static properties of declarative modelsAmirhossein Vakili, Nancy A. Day. 428-431 [doi]
• Finding the merits and drawbacks of software resources from commentsChangsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, Hong Mei. 432-435 [doi]
• Combining search-based and constraint-based testingJan Malburg, Gordon Fraser. 436-439 [doi]
• Stateful testing: Finding more errors in code and contractsYi Wei, Hannes Roth, Carlo A. Furia, Yu Pei 0001, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer. 440-443 [doi]
• Do software engineers benefit from source code navigation with traceability? - An experiment in software change managementPatrick Mäder, Alexander Egyed. 444-447 [doi]
• Automating analysis of qualitative preferences in goal-oriented requirements engineeringZachary J. Oster, Ganesh Ram Santhanam, Samik Basu. 448-451 [doi]
• History slicingFrancisco Servant, James A. Jones. 452-455 [doi]
• Analyzing temporal API usage patternsGias Uddin, Barthélémy Dagenais, Martin P. Robillard. 456-459 [doi]
• Isomorphism in model tools and editorsGeorge Edwards, Yuriy Brun, Nenad Medvidovic. 460-463 [doi]
• A case for alloy annotations for efficient incremental analysis via domain specific solversSvetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry. 464-467 [doi]
• Exploring caching for efficient collection operationsSwetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert. 468-471 [doi]
• Tracing requirements to tests with high precision and recallCelal Ziftci, Ingolf Krueger. 472-475 [doi]
• Extracting structured data from natural language documents with island parsingAlberto Bacchelli, Anthony Cleve, Michele Lanza, Andrea Mocci. 476-479 [doi]
• GRoundTram: An integrated framework for developing well-behaved bidirectional model transformationsSoichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. 480-483 [doi]
• Run-time systems failure prediction via proactive monitoringPengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li. 484-487 [doi]
• Towards an approach and framework for test-execution plan derivationSoham Sundar Chakraborty, Vipul Shah. 488-491 [doi]
• Statistical debugging with elastic predicatesRoss Gore, Paul F. Reynolds Jr., David Kamensky. 492-495 [doi]
• Diagnosis of software failures using computational geometryEdward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, Spiros Mancoridis. 496-499 [doi]
• GitBAC: Flexible access control for non-modular concernsMark Robinson, Jianwei Niu, Macneil Shonle. 500-503 [doi]
• Client-side web application slicingJosip Maras, Jan Carlson, Ivica Crnkovic. 504-507 [doi]
• Supporting activity based computing paradigm in global software developmentPaolo Tell, Muhammad Ali Babar. 508-511 [doi]
• Inferred dependence coverage to support fault contextualizationFang Deng, James A. Jones. 512-515 [doi]
• Using model-based assurance to strengthen diagnostic proceduresRobyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine. 516-519 [doi]
• Fault-localization using dynamic slicing and change impact analysisElton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim. 520-523 [doi]
• Improving source code search with natural language phrasal representations of method signaturesEmily Hill, Lori L. Pollock, K. Vijay-Shanker. 524-527 [doi]
• Deviation management during process executionMarcos Aurélio Almeida da Silva, Xavier Blanc, Reda Bendraou. 528-531 [doi]
• PRECIS: Inferring invariants using program path guided clusteringParth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan. 532-535 [doi]
• Automated planning for feature model configuration based on stakeholders' business concernsSamaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gasevic, Ebrahim Bagheri. 536-539 [doi]
• An adaptive approach to impact analysis from change requests to source codeMalcom Gethers, Huzefa H. Kagdi, Bogdan Dit, Denys Poshyvanyk. 540-543 [doi]
• Domain and value checking of web application invocation argumentsWilliam G. J. Halfond. 544-547 [doi]
• Mixed constraints for test input generation - An initial explorationShadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid. 548-551 [doi]
• Enhancing architectural recovery using concernsJoshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, Yuanfang Cai. 552-555 [doi]
• Search-based fault localizationShaowei Wang, David Lo, Lingxiao Jiang, Lucia, Hoong Chuin Lau. 556-559 [doi]
• Towards requirements aware systems: Run-time resolution of design-time assumptionsKristopher Welsh, Pete Sawyer, Nelly Bencomo. 560-563 [doi]
• Generating essential user interface prototypes to validate requirementsMassila Kamalrudin, John C. Grundy. 564-567 [doi]
• Automatically exploring how uncertainty impacts behavior of dynamically adaptive systemsAndres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester. 568-571 [doi]
• iDiff: Interaction-based program differencing toolHoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, Tien N. Nguyen. 572-575 [doi]
• CloneDifferentiator: Analyzing clones by differentiationZhenchang Xing, Yinxing Xue, Stan Jarzabek. 576-579 [doi]
• Implementing efficient model validation in EMF toolsGábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró. 580-583 [doi]
• JPF-AWT: Model checking GUI applicationsPeter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma. 584-587 [doi]
• The CORE system: Animation and functional correctness of pointer programsEwen Maclean, Andrew Ireland, Gudmund Grov. 588-591 [doi]
• APIExample: An effective web search based usage example recommendation system for java APIsLijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, Fuqing Yang. 592-595 [doi]
• BEST: A symbolic testing tool for predicting multi-threaded program failuresMalay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan. 596-599 [doi]
• Decomposing feature models: language, environment, and applicationsMathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France. 600-603 [doi]
• SAUML: A tool for symbolic analysis of UML-RT modelsKarolina Zurowska, Jürgen Dingel. 604-607 [doi]
• TestEra: A tool for testing Java programs using alloy specificationsShadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid. 608-611 [doi]
• MAJOR: An efficient and extensible tool for mutation analysis in a Java compilerRené Just, Franz Schweiggert, Gregory M. Kapfhammer. 612-615 [doi]
• jCT: A Java Code TomographMarkus Lumpe, Samiran Mahmud, Olga Goloshchapova. 616-619 [doi]
• Generating realistic test models for model processing toolsPit Pietsch, Hamed Shariat Yazdi, Udo Kelter. 620-623 [doi]
• Guided test visualization: Making sense of errors in concurrent programsSaint Wesonga, Eric G. Mercer, Neha Rungta. 624-627 [doi]
• The Capture Calculus ToolsetRobert J. Hall. 628-632 [doi]
• A model checking framework for hierarchical systemsTruong Khanh Nguyen, Jun Sun 0001, Yang Liu, Jin Song Dong. 633-636 [doi]
• Automatically detecting the quality of the query and its implications in IR-based concept locationSonia Haiduc. 637-640 [doi]
• Using Formal Concept Analysis to support change analysisXiaobing Sun, Bixin Li. 641-645 [doi]
• A framework for managing uncertainty in self-adaptive software systemsNaeem Esfahani. 646-650 [doi]
• Toward consistency checking of natural language temporal requirementsWenbin Li. 651-655 [doi]
• Analyzing temporal properties of abstract modelsAmirhossein Vakili. 656-659 [doi]
• Improving spectrum-based fault localization using proximity-based weighting of test casesAritra Bandyopadhyay. 660-664 [doi]
• Automatic assessment of software documentation qualityAndreas Dautovic. 665-669 [doi]