default search action
30th ASE 2015: Lincoln, NE, USA
- Myra B. Cohen, Lars Grunske, Michael Whalen:
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0025-8
Session: Automated Development Support I
- Yanzhen Zou, Ting Ye, Yangyang Lu, John Mylopoulos, Lu Zhang:
Learning to Rank for Question-Oriented Software Text Retrieval (T). 1-11 - Andrea Di Sorbo
, Sebastiano Panichella
Development Emails Content Analyzer: Intention Mining in Developer Discussions (T). 12-23 - Lee Martie, Thomas D. LaToza, André van der Hoek:
CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T). 24-35 - Mario Linares Vásquez
How do Developers Document Database Usages in Source Code? (N). 36-41
Session: Formal Verification and Proofs
- Ivan Bocic, Tevfik Bultan:
Efficient Data Model Verification with Many-Sorted Logic (T). 42-52 - Hong-Yi Chen, Cristina David, Daniel Kroening
Synthesising Interprocedural Bit-Precise Termination Proofs (T). 53-64 - Shang-Wei Lin
Interpolation Guided Compositional Verification (T). 65-74 - John Toman, Stuart Pernsteiner, Emina Torlak:
Crust: A Bounded Verifier for Rust (N). 75-80
Session: Specification Mining
- Caroline Lemieux, Dennis Park, Ivan Beschastnikh:
General LTL Specification Mining (T). 81-92 - Hila Cohen, Shahar Maoz
Have We Seen Enough Traces? (T). 93-103 - Abdullah M. Alshanqiti
Extracting Visual Contracts from Java Programs (T). 104-114 - Tien-Duy B. Le, Xuan-Bach Dinh Le, David Lo
Synergizing Specification Miners through Model Fissions and Fusions (T). 115-125
Session: Search-Based Software Testing
- Daniel Di Nardo, Fabrizio Pastore
Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T). 126-137 - Santo Carino, James H. Andrews:
Dynamically Testing GUIs Using Ant Colony Optimization (T). 138-148 - Matias Waterloo, Suzette Person, Sebastian G. Elbaum:
Test Analysis: Searching for Faults in Tests (N). 149-154
Session: Concurrency Bugs and Analysis
- James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund:
Array Shadow State Compression for Precise Dynamic Race Detection (T). 155-165 - Pantazis Deligiannis
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T). 166-177 - Ziyi Lin, Darko Marinov, Hao Zhong
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). 178-189
Session: Automatic Test Generation
- Amin Milani Fard
Generating Fixtures for JavaScript Unit Testing (T). 190-200 - Sina Shamshiri, René Just, José Miguel Rojas
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). 201-211 - Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler:
GRT: Program-Analysis-Guided Random Testing (T). 212-223
Session: Mobile Applications I
- Yu Lin, Semih Okur, Danny Dig:
Study and Refactoring of Android Asynchronous Programming (T). 224-235 - Geoffrey Hecht
Tracking the Software Quality of Android Applications Along Their Evolution (T). 236-247 - Tuan Anh Nguyen, Christoph Csallner:
Reverse Engineering Mobile Application User Interfaces with REMAUI (T). 248-259
Session: Automated Development Support II
- Fei Lv, Hongyu Zhang
CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E). 260-270 - S. M. Sohan, Craig Anslow, Frank Maurer
SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N). 271-276 - Lingfeng Bao, Zhenchang Xing, Xinyu Wang, Bo Zhou:
Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work (N). 277-282 - Kurtis Zimmerman, Chandan Raj Rupakheti:
An Automated Framework for Recommending Program Elements to Novices (N). 283-288 - Santiago Vargas-Baldrich, Mario Linares Vásquez
Automated Tagging of Software Projects Using Bytecode and Dependencies (N). 289-294
Session: Program Repair and Synthesis
- Yalin Ke, Kathryn T. Stolee
Repairing Programs with Semantic Code Search (T). 295-306 - Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong
Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T). 307-318 - Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu:
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). 319-330 - Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah
Synthesizing Web Element Locators (T). 331-341
Session: Software Performance
- Atrisha Sarkar, Jianmei Guo, Norbert Siegmund, Sven Apel
Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T). 342-352 - Morakot Choetkiertikul, Hoa Khanh Dam
Predicting Delays in Software Projects Using Networked Classification (T). 353-364 - Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki:
Performance Prediction of Configurable Software Systems by Fourier Learning (T). 365-373 - Uwe Pohlmann
Model-Driven Allocation Engineering (T). 374-384
Session: Product Lines and Configurable Software Systems
- Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher
Configuration-Aware Change Impact Analysis (T). 385-395 - Jabier Martinez
Automating the Extraction of Model-Based Software Product Lines from Model Variants (T). 396-406 - Matthias Kowal, Max Tschaikowski
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). 407-417
Session: Testing I
- Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp
Executing Model-Based Tests on Platform-Specific Implementations (T). 418-428 - Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso:
Automated Test Input Generation for Android: Are We There Yet? (E). 429-440 - Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte
Testing Cross-Platform Mobile App Development Frameworks (T). 441-451
Session: Defect Prediction and Debugging
- Jaechang Nam, Sunghun Kim:
CLAMI: Defect Prediction on Unlabeled Datasets (T). 452-463 - Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim:
Mutation-Based Fault Localization for Real-World Multilingual Programs (T). 464-475 - An Ngoc Lam
Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports (N). 476-481
Session: Testing II
- Kyle Dewey
Fuzzing the Rust Typechecker Using CLP (T). 482-493 - Jinkun Lin, Chuan Luo, Shaowei Cai
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). 494-505 - Benwen Zhang, Emily Hill, James Clause:
Automatically Generating Test Templates from Test Names (N). 506-511
Session: Concurrent/Parallel Programming
- Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han:
Region and Effect Inference for Safe Parallelism (T). 512-523 - Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma
Optimistic Shared Memory Dependence Tracing (T). 524-534 - Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar:
Model Checking Task Parallel Programs Using Gradual Permissions (N). 535-540
Session: Program Analysis I
- Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T). 541-551 - Changhee Park, Sooncheol Won, Joonho Jin, Sukyoung Ryu
Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T). 552-562 - Mark Hills
Variable Feature Usage Patterns in PHP (T). 563-573
Session: Program Translations
- Yusuke Oda, Hiroyuki Fudaba, Graham Neubig, Hideaki Hata
Learning to Generate Pseudo-Code from Source Code Using Statistical Machine Translation (T). 574-584 - Anh Tuan Nguyen, Tung Thanh Nguyen
Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code (T). 585-596 - Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi
Experiences from Designing and Validating a Software Modernization Transformation (E). 597-607
Session: Program Analysis II
- Elena Sherman, Matthew B. Dwyer
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). 608-618 - Johannes Lerch, Johannes Späth, Eric Bodden
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). 619-629 - Krishna Narasimhan, Christoph Reichenbach
Copy and Paste Redeemed (T). 630-640 - Raffi Khatchadourian
Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N). 641-646
Session: Mobile Applications II
- Julia Rubin, Michael I. Gordon, Nguyen Nguyen, Martin C. Rinard:
Covert Communication in Mobile Applications (T). 647-657 - Shengqian Yang, Hailong Zhang, Haowei Wu, Yan Wang, Dacong Yan, Atanas Rountev:
Static Window Transition Graphs for Android (T). 658-668 - Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). 669-679 - Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek:
String Analysis of Android Applications (N). 680-685
Session: Software Evolution
- Yi Li
Semantic Slicing of Software Version Histories (T). 686-696 - Kivanç Muslu, Luke Swart, Yuriy Brun
Development History Granularity Transformations (N). 697-702 - Antonio Filieri
Quantification of Software Changes through Probabilistic Symbolic Execution (N). 703-708 - Thomas A. Walsh, Phil McMinn, Gregory M. Kapfhammer:
Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N). 709-714
Session: Evaluating Automated Approaches
- Michael Vierhauser
Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E). 715-725 - Andreas Wölfl, Norbert Siegmund, Sven Apel
Generating Qualifiable Avionics Software: An Experience Report (E). 726-736 - Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney:
How Verified is My Code? Falsification-Driven Verification (T). 737-748
Session: Data Mining: User Feedback
- Phong Minh Vu, Tam The Nguyen, Hung Viet Pham, Tung Thanh Nguyen
Mining User Opinions in Mobile App Reviews: A Keyword-Based Approach (T). 749-759 - Xiaodong Gu
"What Parts of Your Apps are Loved by Users?" (T). 760-770 - Emitza Guzman, Muhammad El-Haliby, Bernd Bruegge:
Ensemble Methods for App Review Classification: An Approach for Software Evolution (N). 771-776
Session: Tool Demonstrations I
- Michael Vierhauser
The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems. 777-782 - Nuno Flores
DRIVER - A Platform for Collaborative Framework Understanding. 783-788 - Phong Minh Vu, Hung Viet Pham, Tam The Nguyen, Tung Thanh Nguyen
Tool Support for Analyzing Mobile App Reviews. 789-794 - Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen
Recommending API Usages for Mobile Apps with Hidden Markov Model. 795-800 - Darko Bozhinoski, Davide Di Ruscio
FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters. 801-806 - Omar Inverso
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. 807-812
Session: Tool Demonstration II
- S. M. Sohan, Craig Anslow, Frank Maurer
SpyREST in Action: An Automated RESTful API Documentation Tool. 813-818 - Krishna Narasimhan:
Clone Merge - An Eclipse Plugin to Abstract Near-Clone C++ Methods. 819-823 - Hiroyuki Fudaba, Yusuke Oda, Koichi Akabe
Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code. 824-829 - Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer
CIVL: Formal Verification of Parallel Programs. 830-835 - Yu Lin, Danny Dig:
Refactorings for Android Asynchronous Programming. 836-841 - Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler:
GRT: An Automated Test Generator Using Orchestrated Program Analysis. 842-847
Session: Tool Demonstration III
- Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah
LED: Tool for Synthesizing Web Element Locators. 848-851 - Christopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling, Manuel Ohrndorf:
SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering. 852-857 - Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi
Model-Based Testing of Stateful APIs with Modbat. 858-863 - Lingfeng Bao, Deheng Ye, Zhenchang Xing, Xin Xia
ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs. 864-869 - Caroline Lemieux, Ivan Beschastnikh:
Investigating Program Behavior Using the Texada LTL Specifications Miner. 870-875 - Ines Coimbra Morgado
The iMPAcT Tool: Testing UI Patterns on Mobile Applications. 876-881
Doctoral Symposium
- Johannes Bräuer
Measuring Object-Oriented Design Principles. 882-885 - Maria Salama
Stability of Self-Adaptive Software Architectures. 886-889 - Ana-Maria Sutîi:
MetaMod: A Modeling Formalism with Modularity at Its Core. 890-893 - Gillian J. Greene:
A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data. 894-897 - Semih Okur:
Understanding, Refactoring, and Fixing Concurrency in C#. 898-901 - Eric Shing-Suan Wang, Zhe Dang:
A Message-Passing Architecture without Public Ids Using Send-to-Behavior. 902-905
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: