Table of Contents

• A Petri Net Based Debugging Environment for QVT RelationsManuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger. 3-14 [doi]
• Validating Automotive Control Software Using Instrumentation-Based VerificationArnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles Shelton, Chris Martin. 15-25 [doi]
• Semi-automated Test Planning for e-ID Systems by Using Requirements ClusteringBaris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels. 29-39 [doi]
• A Quantum Algorithm for Software Engineering SearchRobert J. Hall. 40-51 [doi]
• Understanding the Value of Software Engineering TechnologiesPhillip Green II, Tim Menzies, Steve Williams, Oussama El-Rawas. 52-61 [doi]
• Type Inference for Soft-Error Fault-Tolerance PredictionGustav Munkby, Sibylle Schupp. 65-75 [doi]
• Evaluating the Accuracy of Fault Localization TechniquesShaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang. 76-87 [doi]
• Spectrum-Based Multiple Fault LocalizationRui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund. 88-99 [doi]
• Towards a Comprehensive Test Suite for Detectors of Design PatternsPatrycja Wegrzynowicz, Krzysztof Stencel. 103-110 [doi]
• Improving API Usage through Automatic Detection of Redundant CodeDavid Kawrykow, Martin P. Robillard. 111-122 [doi]
• Clone-Aware Configuration ManagementTung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen. 123-134 [doi]
• SMT-Based Bounded Model Checking for Embedded ANSI-C SoftwareLucas Cordeiro, Bernd Fischer, João Marques-Silva. 137-148 [doi]
• Static Validation of C Preprocessor MacrosAndreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su. 149-160 [doi]
• Looper: Lightweight Detection of Infinite Loops at RuntimeJacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen. 161-169 [doi]
• Improving the Efficiency of Dependency Analysis in Logical Decision ModelsSunny Wong, Yuanfang Cai. 173-184 [doi]
• Explicit Concern-Driven Development with ArchEvolEugen C. Nistor, André van der Hoek. 185-196 [doi]
• Design Rule Hierarchies and Parallelism in Software Development TasksSunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi. 197-208 [doi]
• Automated Test Order Generation for Software Component Integration TestingRattikorn Hewett, Phongphun Kijsanayothin. 211-220 [doi]
• A Divergence-Oriented Approach to Adaptive Random Testing of Java ProgramsYu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao. 221-232 [doi]
• Adaptive Random Test Case PrioritizationBo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. 233-244 [doi]
• Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial ExperiencesPaul Grünbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer. 247-256 [doi]
• Self-Repair through Reconfiguration: A Requirements Engineering ApproachYiqiao Wang, John Mylopoulos. 257-268 [doi]
• Model Checking of Domain Artifacts in Product Line EngineeringKim Lauenroth, Klaus Pohl, Simon Toehning. 269-280 [doi]
• Alattin: Mining Alternative Patterns for Detecting Neglected ConditionsSuresh Thummalapenta, Tao Xie. 283-294 [doi]
• Mining Temporal Specifications from Object UsageAndrzej Wasylkowski, Andreas Zeller. 295-306 [doi]
• Inferring Resource Specifications from Natural Language API DocumentationHao Zhong, Lu Zhang, Tao Xie, Hong Mei. 307-318 [doi]
• Specification and Control of Interface Responses to User Input in Rich Internet ApplicationsMatthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder. 321-331 [doi]
• Code Completion from Abbreviated InputSangmok Han, David R. Wallace, Robert C. Miller. 332-343 [doi]
• Task-First or Context-First? Tool Integration RevisitedWalid Maalej. 344-355 [doi]
• Mining Hierarchical Scenario-Based SpecificationsDavid Lo, Shahar Maoz. 359-370 [doi]
• Automatic Generation of Object Usage Specifications from Large Method TracesMichael Pradel, Thomas R. Gross. 371-382 [doi]
• Efficient Formalism-Independent Monitoring of Parametric PropertiesFeng Chen, Patrick O Neil Meredith, Dongyun Jin, Grigore Rosu. 383-394 [doi]
• Automatically Recommending Triage Decisions for Pragmatic Reuse TasksReid Holmes, Tristan Ratchford, Martin P. Robillard, Robert J. Walker. 397-408 [doi]
• Mining Health Models for Performance Monitoring of ServicesMithun Acharya, Vamshidhar Kommineni. 409-420 [doi]
• Inferring Method Effect Summaries for Nested Heap RegionsMohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson. 421-432 [doi]
• ReAssert: Suggesting Repairs for Broken Unit TestsBrett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov. 433-444 [doi]
• Cache-Based Model Checking of Networked Applications: From Linear to Branching TimeCyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. 447-458 [doi]
• State-Space Coverage EstimationAli Taleghani, Joanne M. Atlee. 459-467 [doi]
• A Framework for State-Space Exploration of Java-Based Actor ProgramsSteven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha. 468-479 [doi]
• Symbolic Deadlock Analysis in Concurrent Libraries and Their ClientsJyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan. 480-491 [doi]
• Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model CheckingKyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders. 495-499 [doi]
• A Formal Syntax for Probabilistic Timed Property Sequence ChartsPengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li. 500-504 [doi]
• Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation StrategyAldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser. 505-509 [doi]
• Using String Distances for Test Case PrioritisationYves Ledru, Alexandre Petrenko, Sergiy Boroday. 510-514 [doi]
• Reggae: Automated Test Generation for Programs Using Complex Regular ExpressionsNuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 515-519 [doi]
• A Methodology and Framework to Simplify Usability Analysis of Mobile ApplicationsFlorence T. Balagtas-Fernandez, Heinrich Hussmann. 520-524 [doi]
• An Open Source-Based Approach to Software Development InfrastructuresYuhoon Ki, Meongchul Song. 525-529 [doi]
• EA-Analyzer: Automating Conflict Detection in Aspect-Oriented RequirementsAlberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid. 530-534 [doi]
• An Automated Passive Testing Approach for the IMS PoC ServiceFelipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet. 535-539 [doi]
• Adding Examples into Java DocumentsJinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim. 540-544 [doi]
• Enhanced Automation for Managing Model and Metamodel InconsistencyLouis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack. 545-549 [doi]
• Generating Fixes from Object Behavior AnomaliesValentin Dallmeier, Andreas Zeller, Bertrand Meyer. 550-554 [doi]
• Service Substitution RevisitedDionysis Athanasopoulos, Apostolos Zarras, Valérie Issarny. 555-559 [doi]
• A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical SoftwareEwen Denney, Bernd Fischer. 560-564 [doi]
• Towards Augmenting Requirements Models with PreferencesSotirios Liaskos, Sheila A. McIlraith, John Mylopoulos. 565-569 [doi]
• Automated Comprehension Tasks in Software ExplorationSandro Boccuzzo, Harald Gall. 570-574 [doi]
• Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented SoftwareRaffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Xu. 575-579 [doi]
• Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software DevelopmentBryan Lemon, Aaron Riesbeck, Tim Menzies, Justin Price, Joseph D Alessandro, Rikard Carlsson, Tomi Prifiti, Fayola Peters, Hiuhua Lu, Daniel Port. 580-584 [doi]
• Automating the Implementation of Analysis Concerns in Workflow ApplicationsOscar González, Rubby Casallas, Dirk Deridder. 585-589 [doi]
• Static Typing for Ruby on RailsJong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster. 590-594 [doi]
• Towards Automating Class-Splitting Using Betweenness ClusteringKeith Cassell, Peter Andreae, Lindsay Groves, James Noble. 595-599 [doi]
• Reducing Features to Improve Bug PredictionShivkumar Shivaji, Jim Whitehead, Ram Akella, Sunghun Kim. 600-604 [doi]
• Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic AnalysesFang Yu, Muath Alkhalaf, Tevfik Bultan. 605-609 [doi]
• Weaving Context Sensitivity into Test Suite ConstructionHuai Wang, W. K. Chan. 610-614 [doi]
• Optimizing a Structural Constraint Solver for Efficient Software CheckingJunaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid. 615-619 [doi]
• A Case for Automated Debugging Using Data Structure RepairMuhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid. 620-624 [doi]
• Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling FrameworkEnrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann. 625-629 [doi]
• Using Spectrum-Based Fault Localization for Test Case GroupingMartin Weiglhofer, Gordon Fraser, Franz Wotawa. 630-634 [doi]
• Cluster-Based I/O-Efficient LTL Model CheckingJiri Barnat, Lubos Brim, Pavel Simecek. 635-639 [doi]
• A Linear Programming Approach for Automated Localization of Multiple FaultsBrian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley. 640-644 [doi]
• Lost in Translation: Forgetful Semantic AnchoringDaniel Balasubramanian, Ethan K. Jackson. 645-649 [doi]
• An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented SoftwareMarco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider. 650-654 [doi]
• KaitoroBase: Visual Exploration of Software Architecture DocumentsMoon Ting Su, Christian Hirsch, John G. Hosking. 657-659 [doi]
• phpModeler - A Web Model ExtractorJosip Maras, Maja Stula, Ivica Crnkovic. 660-661 [doi]
• Zoltar: A Toolset for Automatic Fault LocalizationTom Janssen, Rui Abreu, Arjan J. C. van Gemund. 662-664 [doi]
• Supporting Requirements Validation: The EuRailCheck ToolRoberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta. 665-667 [doi]
• Loopfrog: A Static Analyzer for ANSI-C ProgramsDaniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger. 668-670 [doi]
• A Tool Suite for the Generation and Validation of Configurations for Software AvailabilityAbdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe. 671-673 [doi]
• A Tool for Attributed Goal-Oriented Requirements AnalysisMotoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya. 674-676 [doi]
• Jtop: Managing JUnit Test Cases in Absence of Coverage InformationLingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei. 677-679 [doi]
• An Automated Tool for Generating UML Models from Natural Language RequirementsDeva Kumar Deeptimahanti, Muhammad Ali Babar. 680-682 [doi]
• AOWP: Web-Specific AOP Framework for PHPKeiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai. 683-685 [doi]
• A Modelling Language for Interactive Web ApplicationsJevon M. Wright. 689-692 [doi]
• Automated Software Tool Support for Checking the Inconsistency of RequirementsMassila Kamalrudin. 693-697 [doi]
• A Holistic Approach to Mobile Service ProvisioningAndrew John Dennis Meads. 698-702 [doi]
• Secure and Usable Requirements EngineeringJose Romero-Mariona. 703-706 [doi]
• Goal-Based Testing of Semantic Web ServicesM. Shaban Jokhio. 707-711 [doi]
• Migration from Procedural Programming to Aspect Oriented ParadigmDipankar Majumdar. 712-715 [doi]
• Improving Component Dependency Resolution with Soft Constraints, Validation and VerificationGraham Jenson. 716-720 [doi]