26. ASE 2011: Lawrence, KS, USA

Keynotes

• Ian H. Witten:
  Wikipedia and how to use it for semantic document representation. 1
  
• Matthew B. Dwyer:
  Unifying testing and analysis through behavioral coverage. 2
  

Testing I

• Nadia Alshahwan, Mark Harman:
  Automated web application testing using search based software engineering. 3-12
  
• 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. 13-22
  
• 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. 23-32
  

Testing II

• Saswat Anand, Mary Jean Harrold:
  Heap cloning: Enabling dynamic symbolic execution of java programs. 33-42
  
• Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer:
  Automatic generation of load tests. 43-52
  
• Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos:
  Symbolic search-based testing. 53-62
  

Testing III

• Sai Zhang, Cheng Zhang, Michael D. Ernst:
  Automated documentation inference to explain failed tests. 63-72
  
• Kai Pan, Xintao Wu, Tao Xie:
  Generating program inputs for database application testing. 73-82
  
• Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund:
  Prioritizing tests for fault localization through ambiguity group reduction. 83-92
  

Software Model Checking

• Pavel Parizek, Ondrej Lhoták:
  Identifying future field accesses in exhaustive state space traversal. 93-102
  
• Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
  Model checking distributed systems by combining caching and process checkpointing. 103-112
  
• Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri:
  Supporting domain-specific state space reductions through local partial-order reduction. 113-122
  

Analysis, Verification, and Validation

• Malay K. Ganai:
  Scalable and precise symbolic analysis for atomicity violations. 123-132
  
• 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. 133-142
  
• Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey:
  Formalizing hardware/software interface specifications. 143-152
  
• Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson:
  Safe asynchronous multicore memory operations. 153-162
  

Models

• Timo Kehrer, Udo Kelter, Gabriele Taentzer:
  A rule-based approach to the semantic lifting of model differences in the context of model versioning. 163-172
  
• Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró:
  A model-driven framework for guided design space exploration. 173-182
  
• Fabian Brosig, Nikolaus Huber, Samuel Kounev:
  Automated extraction of architecture-level performance models of distributed component-based systems. 183-192
  

Debugging

• Ariel Rabkin, Randy H. Katz:
  Precomputing possible configuration error diagnoses. 193-202
  
• David Insa, Josep Silva:
  An optimal strategy for algorithmic debugging. 203-212
  
• Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, Mary Jean Harrold:
  Localizing SQL faults in database applications. 213-222
  

Documentation, Traceability, and Program Understanding

• Xiaofan Chen, John C. Grundy:
  Improving automated documentation to code traceability by combining retrieval techniques. 223-232
  
• Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei:
  Iterative mining of resource-releasing specifications. 233-242
  
• Ghulam Rasool, Patrick Mäder:
  Flexible design pattern detection based on feature types. 243-252
  

Software Maintenance I

• Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang:
  Towards more accurate retrieval of duplicate bug reports. 253-262
  
• 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. 263-272
  
• Yijun Yu, Thein Than Tun, Bashar Nuseibeh:
  Specifying and detecting meaningful changes in programs. 273-282
  

Software Maintenance II

• Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
  Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. 283-292
  
• Sunny Wong, Yuanfang Cai:
  Generalizing evolutionary coupling with stochastic dependencies. 293-302
  
• Jeffrey L. Overbey, Ralph E. Johnson:
  Differential precondition checking: A lightweight, reusable analysis for refactoring tools. 303-312
  

Product Lines, Knowledge Acquisition, and Software Processes

• Richard Pohl, Kim Lauenroth, Klaus Pohl:
  A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. 313-322
  
• Swapna Gottipati, David Lo, Jing Jiang:
  Finding relevant answers in software forums. 323-332
  
• Ning Chen, Steven C. H. Hoi, Xiaokui Xiao:
  Software process evaluation: A machine learning approach. 333-342
  

Prediction and Ecological Inference

• Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, David R. Cok:
  Local vs. global models for effort estimation and defect prediction. 343-351
  
• Christoph Rathfelder, Samuel Kounev, David Evans:
  Capacity planning for event-based systems using automated performance predictions. 352-361
  
• Daryl Posnett, Vladimir Filkov, Premkumar T. Devanbu:
  Ecological inference in empirical software engineering. 362-371
  

Short Papers I

• Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer:
  Detection of feature interactions using feature-aware verification. 372-375
  
• Markus Kimmig, Martin Monperrus, Mira Mezini:
  Querying source code with natural language. 376-379
  
• Alex Groce:
  Coverage rewarded: Test input generation via adaptation-based programming. 380-383
  
• Angela Lozano, Andy Kellens, Kim Mens:
  Mendel: Source code recommendation based on a genetic metaphor. 384-387
  
• Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
  Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. 388-391
  
• Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
  Code-based automated program fixing. 392-395
  
• Yongjie Zheng, Richard N. Taylor:
  Taming changes With 1.x-Way architecture-implementation mapping. 396-399
  
• Kristina Winbladh, Anand Ranganathan:
  Evaluating test selection strategies for end-user specified flow-based applications. 400-403
  
• Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
  Towards dynamic backward slicing of model transformations. 404-407
  
• Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King:
  Mining test oracles of web search engines. 408-411
  
• LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, Jeff Tian:
  AutoODC: Automated generation of Orthogonal Defect Classifications. 412-415
  
• Achraf Ghabi, Alexander Egyed:
  Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation. 416-419
  
• Aritra Bandyopadhyay, Sudipto Ghosh:
  Proximity based weighting of test cases to improve spectrum based fault localization. 420-423
  
• Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
  Slicing feature models. 424-427
  
• Amirhossein Vakili, Nancy A. Day:
  Using model checking to analyze static properties of declarative models. 428-431
  
• Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, Hong Mei:
  Finding the merits and drawbacks of software resources from comments. 432-435
  
• Jan Malburg, Gordon Fraser:
  Combining search-based and constraint-based testing. 436-439
  

Short Papers II

• 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. 440-443
  
• Patrick Mäder, Alexander Egyed:
  Do software engineers benefit from source code navigation with traceability? - An experiment in software change management. 444-447
  
• Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu:
  Automating analysis of qualitative preferences in goal-oriented requirements engineering. 448-451
  
• Francisco Servant, James A. Jones:
  History slicing. 452-455
  
• Gias Uddin, Barthélémy Dagenais, Martin P. Robillard:
  Analyzing temporal API usage patterns. 456-459
  
• George Edwards, Yuriy Brun, Nenad Medvidovic:
  Isomorphism in model tools and editors. 460-463
  
• Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry:
  A case for alloy annotations for efficient incremental analysis via domain specific solvers. 464-467
  
• Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert:
  Exploring caching for efficient collection operations. 468-471
  
• Celal Ziftci, Ingolf Krueger:
  Tracing requirements to tests with high precision and recall. 472-475
  
• Alberto Bacchelli, Anthony Cleve, Michele Lanza, Andrea Mocci:
  Extracting structured data from natural language documents with island parsing. 476-479
  
• Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano:
  GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. 480-483
  
• Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li:
  Run-time systems failure prediction via proactive monitoring. 484-487
  
• Soham Sundar Chakraborty, Vipul Shah:
  Towards an approach and framework for test-execution plan derivation. 488-491
  
• Ross Gore, Paul F. Reynolds Jr., David Kamensky:
  Statistical debugging with elastic predicates. 492-495
  
• Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, Spiros Mancoridis:
  Diagnosis of software failures using computational geometry. 496-499
  
• Mark Robinson, Jianwei Niu, Macneil Shonle:
  GitBAC: Flexible access control for non-modular concerns. 500-503
  
• Josip Maras, Jan Carlson, Ivica Crnkovic:
  Client-side web application slicing. 504-507
  

Short Papers III

• Paolo Tell, Muhammad Ali Babar:
  Supporting activity based computing paradigm in global software development. 508-511
  
• Fang Deng, James A. Jones:
  Inferred dependence coverage to support fault contextualization. 512-515
  
• Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine:
  Using model-based assurance to strengthen diagnostic procedures. 516-519
  
• Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim:
  Fault-localization using dynamic slicing and change impact analysis. 520-523
  
• Emily Hill, Lori L. Pollock, K. Vijay-Shanker:
  Improving source code search with natural language phrasal representations of method signatures. 524-527
  
• Marcos Aurélio Almeida da Silva, Xavier Blanc, Reda Bendraou:
  Deviation management during process execution. 528-531
  
• Parth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan:
  PRECIS: Inferring invariants using program path guided clustering. 532-535
  
• Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gasevic, Ebrahim Bagheri:
  Automated planning for feature model configuration based on stakeholders' business concerns. 536-539
  
• Malcom Gethers, Huzefa H. Kagdi, Bogdan Dit, Denys Poshyvanyk:
  An adaptive approach to impact analysis from change requests to source code. 540-543
  
• William G. J. Halfond:
  Domain and value checking of web application invocation arguments. 544-547
  
• Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid:
  Mixed constraints for test input generation - An initial exploration. 548-551
  
• Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, Yuanfang Cai:
  Enhancing architectural recovery using concerns. 552-555
  
• Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, Hoong Chuin Lau:
  Search-based fault localization. 556-559
  
• Kristopher Welsh, Pete Sawyer, Nelly Bencomo:
  Towards requirements aware systems: Run-time resolution of design-time assumptions. 560-563
  
• Massila Kamalrudin, John C. Grundy:
  Generating essential user interface prototypes to validate requirements. 564-567
  
• Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester:
  Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. 568-571
  

Tool Demonstrations

• Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, Tien N. Nguyen:
  iDiff: Interaction-based program differencing tool. 572-575
  
• Zhenchang Xing, Yinxing Xue, Stan Jarzabek:
  CloneDifferentiator: Analyzing clones by differentiation. 576-579
  
• Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró:
  Implementing efficient model validation in EMF tools. 580-583
  
• Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma:
  JPF-AWT: Model checking GUI applications. 584-587
  
• Ewen Maclean, Andrew Ireland, Gudmund Grov:
  The CORE system: Animation and functional correctness of pointer programs. 588-591
  
• Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, Fuqing Yang:
  APIExample: An effective web search based usage example recommendation system for java APIs. 592-595
  
• Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan:
  BEST: A symbolic testing tool for predicting multi-threaded program failures. 596-599
  
• Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
  Decomposing feature models: language, environment, and applications. 600-603
  
• Karolina Zurowska, Jürgen Dingel:
  SAUML: A tool for symbolic analysis of UML-RT models. 604-607
  
• Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
  TestEra: A tool for testing Java programs using alloy specifications. 608-611
  
• René Just, Franz Schweiggert, Gregory M. Kapfhammer:
  MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. 612-615
  
• Markus Lumpe, Samiran Mahmud, Olga Goloshchapova:
  jCT: A Java Code Tomograph. 616-619
  
• Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter:
  Generating realistic test models for model processing tools. 620-623
  
• Saint Wesonga, Eric G. Mercer, Neha Rungta:
  Guided test visualization: Making sense of errors in concurrent programs. 624-627
  
• Robert J. Hall:
  The Capture Calculus Toolset. 628-632
  
• Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong:
  A model checking framework for hierarchical systems. 633-636
  

Doctoral Symposium

• Sonia Haiduc:
  Automatically detecting the quality of the query and its implications in IR-based concept location. 637-640
  
• Xiaobing Sun, Bixin Li:
  Using Formal Concept Analysis to support change analysis. 641-645
  
• Naeem Esfahani:
  A framework for managing uncertainty in self-adaptive software systems. 646-650
  
• Wenbin Li:
  Toward consistency checking of natural language temporal requirements. 651-655
  
• Amirhossein Vakili:
  Analyzing temporal properties of abstract models. 656-659
  
• Aritra Bandyopadhyay:
  Improving spectrum-based fault localization using proximity-based weighting of test cases. 660-664
  
• Andreas Dautovic:
  Automatic assessment of software documentation quality. 665-669
  

Last update Fri May 25 08:24:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page