default search action
28th ASE 2013: Silicon Valley, CA, USA
- Ewen Denney, Tevfik Bultan, Andreas Zeller:
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE 2013
Invited Papers
- Joseph M. Hellerstein:
BOOM: Experiences in language and tool design for distributed systems (keynote). 1 - Jeremy Frank:
The challenges of verification and validation of automated planning systems (keynote). 2 - John Penix:
Big problems in industry (panel). 3
Technical Research Track
Concurrency
- Lu Zhang, Arijit Chattopadhyay, Chao Wang:
Round-up: Runtime checking quasi linearizability of concurrent data structures. 4-14 - Shao Jie Zhang, Jun Sun
, Chengnian Sun, Yang Liu
Constraint-based automatic symmetry detection. 15-25 - Yu Huang, Eric Mercer, Jay McCarthy:
Proving MCAPI executions are correct using SMT. 26-36 - Malay K. Ganai:
Efficient data race prediction with incremental reasoning on time-stamped lock history. 37-47
Dynamic Analysis
- Yonghwi Kwon, Xiangyu Zhang, Dongyan Xu:
PIEtrace: Platform independent executable trace. 48-58 - Vijay Krishna Palepu, Guoqing Xu, James A. Jones:
Improving efficiency of dynamic analysis with dynamic dependence summaries. 59-69 - Patrick O'Neil Meredith, Grigore Rosu:
Efficient parametric runtime verification with deterministic string rewriting. 70-80 - William N. Sumner
Identifying execution points for dynamic analyses. 81-91
Testing
- Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid:
Operator-based and random mutant selection: Better together. 92-102 - Zhihong Xu, Martin Hirzel, Gregg Rothermel, Kun-Lung Wu:
Testing properties of dataflow program operators. 103-113 - Samira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson:
Bita: Coverage-guided, automatic testing of actor programs. 114-124 - Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, Roberto Natella
SABRINE: State-based robustness testing of operating systems. 125-135
Verification
- Chia Yuan Cho, Vijay D'Silva, Dawn Song:
BLITZ: Compositional bounded model checking for real-world programs. 136-146 - Nicolás Rosner, Junaid Haroon Siddiqui
Ranger: Parallel analysis of alloy models by range partitioning. 147-157 - Yuta Maezawa, Hironori Washizaki
Automated verification of pattern-based interaction invariants in Ajax applications. 158-168 - Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Software model checking for distributed systems with selector-based, non-blocking communication. 169-179
Evolution
- Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen
A study of repetitiveness of code changes in software evolution. 180-190 - Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Consistency-preserving edit scripts in model versioning. 191-201 - Nicholas Chen, Ralph E. Johnson:
JFlow: Practical refactorings for flow-based parallelism. 202-212 - Jeffrey M. Barnes, Ashutosh Pandey, David Garlan:
Automated planning for software architecture evolution. 213-223
Generation and Synthesis
- Sai Zhang, Yuyin Sun:
Automatically synthesizing SQL queries from input-output examples. 224-234 - Kaituo Li, Christoph Reichenbach
SEDGE: Symbolic example data generation for dataflow programs. 235-245 - Xusheng Xiao
Characteristic studies of loop problems for structural test generation via symbolic execution. 246-256 - José Campos
Entropy-based test generation for improved fault localization. 257-267
Recommendations
- Fabio Palomba
Detecting bad smells in source code using change history information. 268-278 - Tian Jiang, Lin Tan, Sunghun Kim:
Personalized defect prediction. 279-289 - Ferdian Thung, Shaowei Wang, David Lo
Automatic recommendation of API methods from feature requests. 290-300 - Jianmei Guo, Krzysztof Czarnecki, Sven Apel
Variability-aware performance prediction: A statistical learning approach. 301-311
Security
- Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar
A scalable approach for malware detection through bounded feature space behavior modeling. 312-322 - Yongzheng Wu, Jun Sun
Automatically partition software into least privilege components using dynamic data dependency analysis. 323-333 - Radu Vanciu, Marwan Abi-Antoun:
Finding architectural flaws using constraints. 334-344
Debugging
- Ripon K. Saha, Matthew Lease
Improving bug localization using structured information retrieval. 345-355 - Westley Weimer, Zachary P. Fry, Stephanie Forrest
Leveraging program equivalence for adaptive program repair: Models and first results. 356-366 - Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta:
Detecting and characterizing semantic inconsistencies in ported code. 367-377 - Peter Ohmann, Ben Liblit
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. 378-388
Resources
- Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang:
Characterizing and detecting resource leaks in Android applications. 389-398 - Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen
Dangling references in multi-configuration and dynamic PHP-based Web applications. 399-409 - Erik Österlund, Welf Löwe:
Dynamically transforming data structures. 410-420 - Benedek Izsó, Zoltán Szatmári, Gábor Bergmann
Towards precise metrics for predicting graph query performance. 421-431
Specification Mining
- Hao Xiao, Jun Sun
TzuYu: Learning stateful typestates. 432-442 - Dirk Fahland
Mining branching-time scenarios. 443-453
Models and Complexity
- Richard Pohl, Vanessa Stricker, Klaus Pohl:
Measuring the structural complexity of feature models. 454-464 - Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, Hany H. Ammar:
Scalable product line configuration: A straw to break the camel's back. 465-474
Experience Track
Experience: Software Analysis
- Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, Tao Xie:
Software analytics for incident management of online services: An experience report. 475-485 - Joshua Garcia, Igor Ivkovic, Nenad Medvidovic:
A comparative analysis of software architecture recovery techniques. 486-496 - Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, Wenyun Zhao:
Towards contextual and on-demand code clone management by continuous monitoring. 497-507 - Andreas Simburger, Sven Apel
The potential of polyhedral optimization: An empirical study. 508-518
Experience: Testing and Verification
- Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim:
Automated unit testing of large industrial embedded software using concolic testing. 519-528 - Shiva Nejati
Minimizing CPU time shortage risks in integrated embedded software. 529-539 - Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakic-Alfirevic, Vincent Masquelier:
Model based test validation and oracles for data acquisition systems. 540-550 - Deepak Dhungana
Automated verification of interactive rule-based configuration systems. 551-561
New Ideas Track
New Ideas: Adaptation and Transformation
- Edmund Wong, Jinqiu Yang, Lin Tan:
AutoComment: Mining question and answer sites for automatic comment generation. 562-567 - Smita Ghaisas, Manish Motwani, Preethu Rose Anish:
Detecting system use cases and validations from documents. 568-573 - Jesús García-Galán
Multi-user variability configuration: A game theoretic approach. 574-579 - Nicolas Sannier, Mathieu Acher, Benoit Baudry:
From comparison matrix to Variability Model: The Wikipedia case study. 580-585 - Timothy Dietrich, Jane Cleland-Huang, Yonghee Shin:
Learning effective query transformations for enhanced requirements trace retrieval. 586-591 - Chang Xu, Wenhua Yang, Xiaoxing Ma
Environment rematching: Toward dependability improvement for self-adaptive applications. 592-597 - Ethan Holder, Eeshan Shah, Mohammed Davoodi, Eli Tilevich
Cloud Twin: Native execution of android applications on the Windows Phone. 598-603 - Fitsum Meshesha Kifetew
SBFR: A search based approach for reproducing failures of programs with grammar based input. 604-609
New Ideas: Testing and Debugging
- Shabnam Mirshokraie, Ali Mesbah
PYTHIA: Generating test cases with oracles for JavaScript applications. 610-615 - Nupul Kukreja, William G. J. Halfond, Milind Tambe:
Randomizing regression tests using game theory. 616-621 - Duy Cu Nguyen, Paolo Tonella
Automated inference of classifications and dependencies for combinatorial testing. 622-627 - Higor Amario de Souza
Adding context to fault localization with integration coverage. 628-633 - Parth Sagdeo, Nicholas Ewalt, Debjit Pal
Using automatically generated invariants for regression testing and bug localization. 634-639 - Giuseppe Scanniello
Class level fault prediction using software clustering. 640-645 - Evan Moritz, Mario Linares Vásquez
ExPort: Detecting and visualizing API usages in large source code repositories. 646-651 - Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek:
Flow Permissions for Android. 652-657
New Ideas: Models and Requirements
- Giles Reger
A pattern-based approach to parametric specification mining. 658-663 - Dustin Wüest, Norbert Seyff, Martin Glinz:
Semi-automatic generation of metamodels from model sketches. 664-669 - Varsha Veerappa, Rachel Harrison:
Assessing the maturity of requirements through argumentation: A good enough approach. 670-675 - K. M. Annervaz, Vikrant S. Kaulgud, Shubhashis Sengupta
Natural language requirements quality analysis based on business domain models. 676-681 - Jens von Pilgrim, Bastian Ulke, Andreas Thies
Model/code co-refactoring: An MDE approach. 682-687 - Hajer Saada, Marianne Huchard
Recovering model transformation traces using multi-objective optimization. 688-693
Tool Demonstrations
- Nuno Macedo
Model repair and transformation with Echo. 694-697 - Mohan Baruwal Chhetri
Smart Cloud Broker: Finding your home in the clouds. 698-701 - Alessandro Cimatti
OCRA: A tool for checking the refinement of temporal contracts. 702-705 - Stephan Falke, Florian Merz, Carsten Sinz:
The bounded model checker LLBMC. 706-709 - Bernd Fischer
CSeq: A concurrency pre-processor for sequential C verification tools. 710-713 - Alessio Gambi, Waldemar Hummer, Schahram Dustdar
Automated testing of cloud-based elastic systems with AUToCLES. 714-717 - Iman Avazpour
Tool support for automatic model transformation specification using concrete visualisations. 718-721 - Markus Kusano, Chao Wang:
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. 722-725 - Christopher Schaefer, Hyunsook Do, Brian M. Slator:
Crushinator: A framework towards game-independent testing. 726-729 - Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: A web-based environment for educational gaming via automated test generation. 730-733 - Radu Calinescu
Developing self-verifying service-based systems. 734-737 - Keletso Letsholo
TRAM: A tool for transforming textual requirements into analysis models. 738-741 - Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, Guofei Jiang:
iProbe: A lightweight user-level dynamic instrumentation tool. 742-745
Doctoral Symposium
- Fatemeh Hendijani Fard:
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method. 746-749 - Ramiro Demasi:
Synthesizing fault-tolerant programs from deontic logic specifications. 750-753 - Francisco Servant
Supporting bug investigation using history analysis. 754-757 - Jun Lin
Context-aware task allocation for distributed agile team. 758-761 - Mehdi Mirakhorli:
Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization. 762-765
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-11-21 20:17 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: