| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
Formalizing hardware/software interface specifications.  |
ASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
TestEra: A tool for testing Java programs using alloy specifications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, Hoong Chuin Lau |
Search-based fault localization. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massila Kamalrudin, John C. Grundy |
Generating essential user interface prototypes to validate requirements. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josip Maras, Jan Carlson, Ivica Crnkovic |
Client-side web application slicing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Mäder, Alexander Egyed |
Do software engineers benefit from source code navigation with traceability? - An experiment in software change management. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Dautovic |
Automatic assessment of software documentation quality. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano |
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey L. Overbey, Ralph E. Johnson |
Differential precondition checking: A lightweight, reusable analysis for refactoring tools. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, Yuanfang Cai |
Enhancing architectural recovery using concerns. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró |
A model-driven framework for guided design space exploration. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai |
Scalable and precise symbolic analysis for atomicity violations. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | René Just, Franz Schweiggert, Gregory M. Kapfhammer |
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King |
Mining test oracles of web search engines. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristopher Welsh, Pete Sawyer, Nelly Bencomo |
Towards requirements aware systems: Run-time resolution of design-time assumptions. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaobing Sun, Bixin Li |
Using Formal Concept Analysis to support change analysis. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soham Sundar Chakraborty, Vipul Shah |
Towards an approach and framework for test-execution plan derivation. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Robinson, Jianwei Niu, Macneil Shonle |
GitBAC: Flexible access control for non-modular concerns. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bacchelli, Anthony Cleve, Michele Lanza, Andrea Mocci |
Extracting structured data from natural language documents with island parsing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei |
Iterative mining of resource-releasing specifications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchang Xing, Yinxing Xue, Stan Jarzabek |
CloneDifferentiator: Analyzing clones by differentiation. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri |
Supporting domain-specific state space reductions through local partial-order reduction. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert |
Exploring caching for efficient collection operations. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Insa, Josep Silva |
An optimal strategy for algorithmic debugging. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
Code-based automated program fixing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester |
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos |
Symbolic search-based testing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gasevic, Ebrahim Bagheri |
Automated planning for feature model configuration based on stakeholders' business concerns. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George Edwards, Yuriy Brun, Nenad Medvidovic |
Isomorphism in model tools and editors. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine |
Using model-based assurance to strengthen diagnostic procedures. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
Automatic generation of load tests. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aritra Bandyopadhyay |
Improving spectrum-based fault localization using proximity-based weighting of test cases. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Maclean, Andrew Ireland, Gudmund Grov |
The CORE system: Animation and functional correctness of pointer programs. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, Spiros Mancoridis |
Diagnosis of software failures using computational geometry. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gias Uddin, Barthélémy Dagenais, Martin P. Robillard |
Analyzing temporal API usage patterns. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Deng, James A. Jones |
Inferred dependence coverage to support fault contextualization. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
Decomposing feature models: language, environment, and applications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma |
JPF-AWT: Model checking GUI applications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijun Yu, Thein Than Tun, Bashar Nuseibeh |
Specifying and detecting meaningful changes in programs. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan |
BEST: A symbolic testing tool for predicting multi-threaded program failures. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter |
Generating realistic test models for model processing tools. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Malburg, Gordon Fraser |
Combining search-based and constraint-based testing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ujhelyi, Ákos Horváth, Dániel Varró |
Towards dynamic backward slicing of model transformations. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian H. Witten |
Wikipedia and how to use it for semantic document representation. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saint Wesonga, Eric G. Mercer, Neha Rungta |
Guided test visualization: Making sense of errors in concurrent programs. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
Automating analysis of qualitative preferences in goal-oriented requirements engineering. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunny Wong, Yuanfang Cai |
Generalizing evolutionary coupling with stochastic dependencies. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Servant, James A. Jones |
History slicing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid |
Mixed constraints for test input generation - An initial exploration. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Kehrer, Udo Kelter, Gabriele Taentzer |
A rule-based approach to the semantic lifting of model differences in the context of model versioning. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Winbladh, Anand Ranganathan |
Evaluating test selection strategies for end-user specified flow-based applications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Perry Alexander, Corina S. Pasareanu, John G. Hosking (eds.) |
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 |
ASE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Malcom Gethers, Huzefa H. Kagdi, Bogdan Dit, Denys Poshyvanyk |
An adaptive approach to impact analysis from change requests to source code. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Hill, Lori L. Pollock, K. Vijay-Shanker |
Improving source code search with natural language phrasal representations of method signatures. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li |
Run-time systems failure prediction via proactive monitoring. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, Jeff Tian |
AutoODC: Automated generation of Orthogonal Defect Classifications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Achraf Ghabi, Alexander Egyed |
Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
Slicing feature models. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ning Chen, Steven C. H. Hoi, Xiaokui Xiao |
Software process evaluation: A machine learning approach. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, Hong Mei |
Finding the merits and drawbacks of software resources from comments. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sai Zhang, Cheng Zhang, Michael D. Ernst |
Automated documentation inference to explain failed tests. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang |
Towards more accurate retrieval of duplicate bug reports. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce |
Coverage rewarded: Test input generation via adaptation-based programming. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naeem Esfahani |
A framework for managing uncertainty in self-adaptive software systems. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Alshahwan, Mark Harman |
Automated web application testing using search based software engineering. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer |
Unifying testing and analysis through behavioral coverage. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
Safe asynchronous multicore memory operations. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William G. J. Halfond |
Domain and value checking of web application invocation arguments. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbin Li |
Toward consistency checking of natural language temporal requirements. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Rathfelder, Samuel Kounev, David Evans |
Capacity planning for event-based systems using automated performance predictions. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjie Zheng, Richard N. Taylor |
Taming changes With 1.x-Way architecture-implementation mapping. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Kimmig, Martin Monperrus, Mira Mezini |
Querying source code with natural language. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Haiduc |
Automatically detecting the quality of the query and its implications in IR-based concept location. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model checking distributed systems by combining caching and process checkpointing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer |
Detection of feature interactions using feature-aware verification. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Ondrej Lhoták |
Identifying future field accesses in exhaustive state space traversal. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund |
Prioritizing tests for fault localization through ambiguity group reduction. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
A case for alloy annotations for efficient incremental analysis via domain specific solvers. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Pohl, Kim Lauenroth, Klaus Pohl |
A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Gore, Paul F. Reynolds Jr., David Kamensky |
Statistical debugging with elastic predicates. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angela Lozano, Andy Kellens, Kim Mens |
Mendel: Source code recommendation based on a genetic metaphor. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saswat Anand, Mary Jean Harrold |
Heap cloning: Enabling dynamic symbolic execution of java programs. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirhossein Vakili |
Analyzing temporal properties of abstract models. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio |
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Aurélio Almeida da Silva, Xavier Blanc, Reda Bendraou |
Deviation management during process execution. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, Tien N. Nguyen |
iDiff: Interaction-based program differencing tool. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofan Chen, John C. Grundy |
Improving automated documentation to code traceability by combining retrieval techniques. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Pan, Xintao Wu, Tao Xie |
Generating program inputs for database application testing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swapna Gottipati, David Lo, Jing Jiang |
Finding relevant answers in software forums. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirhossein Vakili, Nancy A. Day |
Using model checking to analyze static properties of declarative models. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, David R. Cok |
Local vs. global models for effort estimation and defect prediction. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Brosig, Nikolaus Huber, Samuel Kounev |
Automated extraction of architecture-level performance models of distributed component-based systems. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu, Jin Song Dong |
A model checking framework for hierarchical systems. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karolina Zurowska, Jürgen Dingel |
SAUML: A tool for symbolic analysis of UML-RT models. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall |
The Capture Calculus Toolset. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")