default search action
26th ASE 2011: Lawrence, KS, USA
- Perry Alexander, Corina S. Pasareanu, John G. Hosking:
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1638-6
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
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
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
Generating program inputs for database application testing. 73-82 - Alberto González-Sanchez, Rui Abreu
Prioritizing tests for fault localization through ambiguity group reduction. 83-92
Software Model Checking
- Pavel Parízek
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
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
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
Towards more accurate retrieval of duplicate bug reports. 253-262 - Anh Tuan Nguyen, Tung Thanh Nguyen
A topic-based approach for narrowing the search space of buggy files from a bug report. 263-272 - Yijun Yu
Specifying and detecting meaningful changes in programs. 273-282
Software Maintenance II
- Antonio Filieri
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
A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. 313-322 - Swapna Gottipati, David Lo
Finding relevant answers in software forums. 323-332 - Ning Chen, Steven C. H. Hoi
Software process evaluation: A machine learning approach. 333-342
Prediction and Ecological Inference
- Tim Menzies, Andrew Butcher, Andrian Marcus
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
Detection of feature interactions using feature-aware verification. 372-375 - Markus Kimmig, Martin Monperrus
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
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. 388-391 - Yu Pei
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
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
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
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
Automating analysis of qualitative preferences in goal-oriented requirements engineering. 448-451 - Francisco Servant
History slicing. 452-455 - Gias Uddin, Barthélémy Dagenais, Martin P. Robillard:
Analyzing temporal API usage patterns. 456-459 - George Edwards, Yuriy Brun
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
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
Client-side web application slicing. 504-507
Short Papers III
- Paolo Tell
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
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
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
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
Generating essential user interface prototypes to validate requirements. 564-567 - Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. 568-571
Tool Demonstrations
- Hoan Anh Nguyen, Tung Thanh 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
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
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
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
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: