30th IEEE/ACM International Conference on
Automated Software Engineering (ASE 2015)
November 9–13, 2015
Lincoln, Nebraska
Automated Software Engineering (ASE 2015)
November 9–13, 2015
Lincoln, Nebraska
The 30th IEEE/ACM International Conference on Automated Software Engineering will bring together researchers and practitioners to share ideas on the foundations, techniques, tools and applications of automated software engineering.
ASE 2015 will be held in Lincoln, Nebraska. Lincoln is the state capital and second-largest city with a population just over 300,000. It is home to dozens of small- to medium-sized tech companies and is growing. Locally known as the Silicon Prairie, Lincoln is set to be a unique location for ASE. Conveniently situated in the middle of the US, the Lincoln airport can be reached from multiple international airline hubs such as Chicago, Denver, Minneapolis, and Atlanta. Additional flights from Newark and elsewhere fly to Omaha, which is 50 miles away.
When submitting your paper as camera-ready, please check off the following items (this is not a complete list and does not replace the IEEE style guide, but serves as a list of frequently noticed issues). Full submission instructions are included in the paper acceptance e-mail.
\documentclass[conference]{IEEEtran}
. The compsoc option is not to be
used.subfig
package should add \usepackage[font=small]{caption}
before \usepackage{subfig}
or
the caption font size will be wrong.hyperref
package, you can use the "hidelinks" option:
\usepackage[hidelinks]{hyperref}
.Online registration is now open.
Registration fees for the full main conference are, in US dollars, as follows:
Early
Registration (until Sep. 28, 2015, 23:59 EDT) | Late Registration (after Sep. 28, 2015 | |
---|---|---|
IEEE/ACM Member | $650 | $780 |
IEEE Life Member | $350 | $470 |
IEEE/ACM Student Member | $350 | $470 |
IEEE/ACM Non-Member | $815 | $975 |
IEEE/ACM Student Non-Member | $490 | $585 |
Student Sole Attending Author | $650 | (Not Available) |
Every paper must have at least one author with a full registration; if only student authors are attending, at least one student must register under the "Student Sole Attending Author" category.
Other registrations can be made separately; the fees are as follows:
Early Registration (until Sep. 28, 2015) | Late Registration (after Sep. 28, 2015) | |
---|---|---|
One-Day Main Conference | $325 | $400 |
Workshop | $175 | $210 |
Half-Day Tutorial | $100 | $120 |
Full-Day Tutorial | $200 | $240 |
Doctoral Symposium | $100 | (Not Available) |
The SIGSOFT CAPS program offers services to support conference attendance for SIGSOFT student members, SIGSOFT professional members, and non-member undergraduate students:
Full information on the SIGSOFT CAPS programs and applications are available on the SIGSOFT CAPS page.
The US National Science Foundaton has generously provided additional support for student participation in ASE. NSF support is limited to current students at US institutions. The committee will evaluate applications for support based on merit, potential to contribute to research in the US, and potential to improve representation by underrepresented groups in computing research. Travel support is reserved exclusively for current graduate students at accredited US universities, but undergraduate students may be eligible for support to defray the cost of registration.
Priority for these awards will be given to:
Applications for NSF-supported participation in ASE will be evaluated by committee, and will be coordinated with SIGSOFT CAPS. To simplify the application process, you may prepare an application to the CAPS program and send the same required information (including the CAPS application form) to the ASE support program. In addition to the information required for the CAPS program, please indicate if you are a US citizen or permanent resident.
Application can be submitted by e-mail up through October 1. We are accepting a second round of applications closing October 18th .
We gratefully acknowledge the support of ACM SIGSOFT and the US National Science Foundation for making these travel awards possible.
Early Registration Closes |
Abstract Submission | |
Paper Submission | |
Notification | |
Camera-Ready Submission |
Submission | |
Notification | |
Camera-Ready Submission |
Proposal Submission | |
Proposal Notification | |
Paper Submission | |
Paper Notification | |
Camera-Ready Submission |
Proposal Submission | |
Notification |
Submission | |
Notification | |
Camera-Ready Submission |
Meeting |
Mon. Nov. 9 |
Tue. Nov. 10 |
Wed. Nov. 11 |
Thu. Nov. 12 |
Fri. Nov. 13 |
---|---|---|---|---|
Doctoral Symposium | Keynote by Ron Weiss | Keynote by Thomas W. Reps | ||
Workshops and Tutorials | Workshops and Tutorials | Technical Papers, Experience Reports, New-Ideas Papers, and Tool Demos | Technical Papers, Experience Reports, New-Ideas Papers, and Tool Demos | Technical Papers, Experience Reports, New-Ideas Papers, and Tool Demos |
Welcome Reception | Banquet | Conference Closing |
Time | Regents D | Regents E | Chancellor 2/3 | Regents F | Alumni |
---|---|---|---|---|---|
7:00 | Registration in Commons Area | ||||
7:30 | Coffee in Commons Area | ||||
8:30 | Full-Day Tutorial: Molecular Programming | Workshop: TESTBEDS 2015 | Workshop: Software Support for Collaborative and Global Software Engineering | Workshop: SoftMine | Doctoral Symposium |
10:00 | Break in Commons Area | ||||
10:30 | Full-Day Tutorial: Molecular Programming | Workshop: TESTBEDS 2015 | Workshop: Software Support for Collaborative and Global Software Engineering | Workshop: SoftMine | Doctoral Symposium |
12:30 | Lunch in Atrium | ||||
1:30 | Full-Day Tutorial: Molecular Programming | Workshop: TESTBEDS 2015 | Workshop: Software Support for Collaborative and Global Software Engineering | Workshop: SoftMine | Doctoral Symposium |
3:30 | Break in Commons Area | ||||
4:00 | Full-Day Tutorial: Molecular Programming | Workshop: TESTBEDS 2015 | Workshop: Software Support for Collaborative and Global Software Engineering | Workshop: SoftMine | Doctoral Symposium |
Time | Regents D/E/F | Regents B | Regents C | Chancellor 2/3 |
---|---|---|---|---|
7:00 | Registration in Commons Area | |||
7:00 | Alumni Room: Speaker Room (all day) | |||
7:30 | Coffee in Commons Area | |||
8:30 | Opening and Keynote by Ron Weiss in Regents B/C | |||
10:00 | Break in Commons Area | |||
10:30 | Automated
Development Session Chair:
Paul Grünbacher Learning to Rank for Question Oriented Software Text Retrieval Development Emails Content Analyzer: Intention Mining in Developer Discussions CodeExchange: Supporting
Reformulation of Internet-Scale Code Queries in Context How Do Developers Document Database Usages in Source Code? |
Formal Verification
and Session Chair:
Michael Lowry Efficient Data Model Verification with Many-Sorted Logic Synthesising Interprocedural Bit-Precise Termination Proofs Interpolation Guided Compositional Verification Crust: a bounded verifier for Rust |
Specification Session Chair:
Darko Marinov General LTL Specification Mining Have We Seen Enough Traces? Extracting Visual Contracts from Java Programs Synergizing Specification Miners through Model Fissions and Fusions |
|
12:30 | Lunch in Atrium | |||
2:00 | ASE and Industry: Match made in Heaven Moderator:
Myra Cohen
Paul Bauer, Ocuvera |
Search-Based Software Session Chair:
Radu Calinescu Evolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation Dynamically Testing GUIs Using Ant Colony Optimization Test Analysis: Searching for Faults in Tests |
Tool Demos Ⅰ: Formal Session Chair:
Elena Sherman The REMINDS Tool Suite for Runtime Monitoring of Systems of Systems DRIVER - A platform for collaborative framework understanding Tool Support for Analyzing Mobile App Reviews Recommending API Usages for Mobile Apps with Hidden Markov Model FlyAQ: Enabling Non-Expert Users to Specify and Generate Missions of Autonomous Multicopters Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs |
|
3:30 | Break in Commons Area | |||
4:00 | Concurrency Bugs and Session Chair:
Matthew Dwyer Array Shadow State Compression for Precise Dynamic Race Detection Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs |
Automatic Test Session Chair:
Michael Whalen Generating fixtures for JavaScript unit testing Do Automatically
Generated Unit Tests Find Real Faults? An Empirical
Study of Effectiveness and Challenges GRT: Program-Analysis-Guided Random Testing |
Mobile Session Chair:
Eric Bodden Study and Refactoring of Android Asynchronous Programming Tracking the Software Quality of Android Applications along their Evolution Reverse Engineering Mobile Application User Interfaces With REMAUI |
Tool Demos Ⅰ: Hands-On The REMINDS Tool Suite for Runtime Monitoring of Systems of Systems DRIVER - A platform for collaborative framework understanding Tool Support for Analyzing Mobile App Reviews Recommending API Usages for Mobile Apps with Hidden Markov Model FlyAQ: Enabling Non-Expert Users to Specify and Generate Missions of Autonomous Multicopters Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs |
5:30 | ||||
6:00 | Welcome Reception at the Sheldon Memorial Art Gallery | |||
7:00 | Steering Committee Meeting in the Alumni Room |
Time | Regents D/E/F | Regents B | Regents C | Chancellor 2/3 |
---|---|---|---|---|
7:00 | Registration in Commons Area | |||
7:00 | Alumni Room: Speaker Room (all day) | |||
7:30 | Coffee in Commons Area | |||
8:30 | Keynote by Thomas W. Reps in Regents B/C | |||
10:00 | Break in Commons Area | |||
10:30 | Automated Development Session Chair:
Andrew Begel CodeHow: Effective Code Search based on API Understanding and Extended Boolean Model SpyREST: Automated RESTful API Documentation using an HTTP Proxy Server Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work An Automated Framework for Recommending Program Elements to Novices Automatic Tagging of Software Projects using Bytecode and Dependencies |
Program Repair and Session Chair:
Alessandra Gorla Repairing Programs with Semantic Code Search Fixing Recurring Crash Bugs via
Analyzing Q&A Sites Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering Synthesizing Web Element Locators |
Software Session Chair:
Sven Apel Cost-Efficient Sampling for Performance Prediction of Configurable Systems Predicting delays in software projects using networked classification Performance Prediction of Configurable Software Systems by Fourier Learning Model-Driven Allocation Engineering |
|
12:30 | Lunch in Atrium | |||
2:00 | Product Lines and Configurable Software Session Chair:
Christian Kästner Configuration-Aware Change Impact Analysis Automating the Extraction of Model-based Software Product Lines from Model Variants Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models |
Session Chair:
Moonzoo Kim Executing Model-based Tests on
Platform-specific Implementations Automated Test Input Generation for Android: Are We There Yet? Testing Cross-Platform Mobile App Development Frameworks |
Tool Demos Ⅱ: Formal Session Chair:
Witawas Sris-an SpyREST in Action: An Automated RESTful API Documentation Tool Clone Merge—An Eclipse Plugin to abstract near-clone C++ methods Pseudogen: A Tool to Automatically Generate Pseudo-code from Source Code CIVL: Formal Verification of Parallel Programs Refactorings for Android Asynchronous Programming GRT: An Automated Test
Generator using Orchestrated Program
Analysis SiPL - A Delta-based Modeling Framework For Software Product Line Engineering |
|
3:30 | Break in Commons Area | |||
4:00 | Defect Prediction and Session Chair:
Tim Menzies CLAMI: Defect Prediction on Unlabeled Datasets Mutation-Based Fault Localization for Real-World Multilingual Programs Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports |
Session Chair:
Christoph Csallner Fuzzing the Rust Typechecker Using CLP TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation Automatically Generating Test Templates from Test Names |
Concurrent/Parallel Session Chair:
Yuriy Brun Region and Effect Inference for Safe Parallelism Optimistic Shared Memory Dependence Tracing Model Checking Task Parallel Programs using Gradual Permissions |
Tool Demos Ⅱ: Hands-On SpyREST in Action: An Automated RESTful API Documentation Tool Clone Merge—An Eclipse Plugin to abstract near-clone C++ methods Pseudogen: A Tool to Automatically Generate Pseudo-code from Source Code CIVL: Formal Verification of Parallel Programs Refactorings for Android Asynchronous Programming GRT: An Automated Test Generator using Orchestrated Program Analysis SiPL - A Delta-based Modeling Framework For Software Product Line Engineering |
5:30 | ||||
5:45 | (Buses Begin Boarding on the South Side of Embassy Suites) | |||
6:00 | Banquet at the Museum of Speed |
Time | Regents D/E/F | Regents B | Regents C | Chancellor 2/3 |
---|---|---|---|---|
7:00 | Registration in Commons Area | |||
7:00 | Alumni Room: Speaker Room (all day) | |||
7:30 | Coffee in Commons Area | |||
8:30 | Program Session Chair:
Sebastian Elbaum Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling Variable Feature Usage Patterns in PHP |
Program Session Chair:
Claire Le Goues Learning to Generate Pseudo-code from Source Code using Statistical Machine Translation Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code Experiences from Designing and Validating a Software Modernization Transformation |
Tool Demos Ⅲ: Formal Session Chair:
Kathryn Stolee LED: Tool for Synthesizing Web Element Locators Model-based Testing of Stateful APIs with Modbat ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs Investigating Program Behavior Using the Texada LTL Specifications Miner The iMPAcT Tool: Testing UI Patterns on Mobile Applications |
|
10:00 | Break in Commons Area | |||
10:30 | Program Session Chair:
James Clause Exploiting Domain and Program Structures to Synthesize Efficient and Precise Data Flow Analyses Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis With Unbounded Access Paths Copy and Paste Redeemed Detecting Broken Pointcuts using Structural Commonality and Degree of Interest |
Mobile Session Chair:
Reiko Heckel Covert Communication in Mobile Applications Static Window Transition Graphs for Android Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents String Analysis for Android Apps |
30 Years of ASE Moderator:
Lars Grunske
Bernd Fischer |
|
12:20 | Lunch in Atrium | |||
Time | Regents D | Regents E | Regents F | Chancellor 2/3 |
2:00 | Software Session Chair:
Michael Goedicke Semantic Slicing of Software Version Histories Development History Granularity Transformations Quantification of Software Changes through Probabilistic Symbolic Execution Automatic Detection of Potential
Regression Layout Failures in Responsively Designed Web
Sites |
Evaluating Automated Session Chair:
Bernd Fischer Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned Generating Qualifiable Avionics Software: An Experience Report How Verified is My Code? Falsification-Driven Verification |
Data Mining: User Session Chair:
Hongyu Zhang Mining User Opinions in Mobile App Reviews: A Keyword-based Approach What parts of your apps are loved by users? Ensemble Methods for App Review Classification: An Approach for Software Evolution |
Tool Demos Ⅲ: Hands-On LED: Tool for Synthesizing Web Element Locators Model-based Testing of Stateful APIs with Modbat ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs Investigating Program Behavior Using the Texada LTL Specifications Miner The iMPAcT Tool: Testing UI Patterns on Mobile Applications |
3:30 | Closing Session in Regents C | |||
4:00 | End of Conference |
Ron Weiss is Professor in the Department of Biological Engineering and in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and is the Director of the Synthetic Biology Center at MIT. He is also the Principal Investigator of the MIT Center for Integrative Synthetic Biology established and funded in September of 2013 as part of the NIH-NIGMS national centers for systems biology. He received his Ph.D. from MIT in 2001 and held a faculty appointment at Princeton University between 2001 and 2009. His research focuses primarily on synthetic biology, where he programs cell behavior by constructing and modeling biochemical and cellular computing systems. A major thrust of his work is the synthesis of gene networks that are engineered to perform in-vivo analog and digital logic computation. He is also interested in programming cell aggregates to perform coordinated tasks using cell-cell communication with chemical diffusion mechanisms such as quorum sensing. He has constructed and tested several novel in-vivo biochemical logic circuits and intercellular communication systems. Weiss is engaged in both hands-on experimental work and in implementing software infrastructures for simulation and design work.
For his work in synthetic biology, Weiss has received MIT's Technology Review Magazine's TR100 Award ("top 100 young innovators", 2003), was selected as a speaker for the National Academy of Engineering's Frontiers of Engineering Symposium (2003), and received the E. Lawrence Keyes, Jr. / Emerson Electric Company Faculty Advancement Award at Princeton University (2003). In addition, his research in Synthetic Biology was named by MIT's Technology Review Magazine as one of "10 emerging technologies that will change your world" (2004). He was chosen as a finalist for the World Technology Network's Biotechnology Award (2004), and was selected as a speaker for the National Academy of Sciences Frontiers of Science Symposium (2005). Over the last few years, Weiss has had several major publications in journals such as Nature, Nature Biotechnology, Science, and PNAS.
More information is available at http://groups.csail.mit.edu/synbio/.
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the construction and analysis of small gene networks towards the implementation of complex multicellular systems with a variety of applications. In this talk I will describe our integrated computational/experimental approach to engineering complex behavior in a variety of cells, with a focus on mammalian cells. In our research, we appropriate design principles from electrical engineering and other established fields. These principles include abstraction, standardization, modularity, and computer-aided design. But we also spend considerable effort towards understanding what makes synthetic biology different from all other existing engineering disciplines and discovering new design and construction rules that are effective for this unique discipline. We will briefly describe the implementation of genetic circuits and modules with finely-tuned digital and analog behavior and the use of artificial cell-cell communication to coordinate the behavior of cell populations. The first system to be presented is a genetic circuit that can detect and destroy specific cancer cells based on the presence or absence or specific biomarkers in the cell. We will also discuss preliminary experimental results for obtaining precise spatiotemporal control over stem cell differentiation for tissue engineering applications. We will conclude by discussing the design and preliminary results for creating an artificial tissue homeostasis system where genetically engineered stem cells maintain indefinitely a desired level of pancreatic beta cells despite attacks by the autoimmune response, relevant for diabetes.
Thomas W. Reps is the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair in the Computer Sciences Department of the University of Wisconsin, which he joined in 1985. Reps is the author or co-author of four books and more than one hundred seventy-five papers describing his research. His work has concerned a wide variety of topics, including program slicing, dataflow analysis, pointer analysis, model checking, computer security, code instrumentation, language-based program-development environments, the use of program profiling in software testing, software renovation, incremental algorithms, and attribute grammars.
Professor Reps received his Ph.D. in Computer Science from Cornell University in 1982. His Ph.D. dissertation won the 1983 ACM Doctoral Dissertation Award.
Reps has also been the recipient of an NSF Presidential Young Investigator Award (1986), a Packard Fellowship (1988), a Humboldt Research Award (2000), and a Guggenheim Fellowship (2000). He is also an ACM Fellow (2005). In 2013, Reps was elected a foreign member of Academia Europaea.
Reps has held visiting positions at the Institut National de Recherche en Informatique et en Automatique (INRIA) in Rocquencourt, France (1982-83), the University of Copenhagen, Denmark (1993-94), the Consiglio Nazionale delle Ricerche in Pisa, Italy (2000-2001), and the University Paris Diderot-Paris 7 (2007-2008).
Unfortunately, the problem of determining whether a program is correct is undecidable. Program-analysis and verification tools sidestep the tar-pit of undecidability by working on an abstraction of a program, which over-approximates the behavior of the original program. The theory underlying this approach is called abstract interpretation. Abstract interpretation provides a way to obtain information about the possible states that a program reaches during execution, but without actually running the program on specific inputs. Instead, it explores the program's behavior for all possible inputs, thereby accounting for all possible states that the program can reach. Operationally, one can think of abstract interpretation as running the program "in the aggregate". That is, rather than executing the program on ordinary states, the program is executed on abstract states, which are finite-sized descriptors that represent collections of states.
However, there is a glitch: abstract interpretation has a well-deserved reputation of being a kind of "black art", and consequently difficult to work with. This talk will describe a twenty-year quest address this issue by raising the level of automation in abstract interpretation. I will present several different approaches to creating correct-by-construction analyzers. Somewhat surprisingly, this research has recently allowed us to establish connections between our problem and several other areas of computer science, including machine learning, knowledge compilation, data integration, and constraint programming.
(Joint work with Aditya Thakur and a variety of students over several years.)
8:30 | Starting an Academic Career—Reflecting on Habits that Worked for Me Christian Kästner |
9:00 | Doctoral Symposium Ⅰ:
Measuring Object-Oriented Design Principles Stability of Self-adaptive Software Architectures |
10:00 | Break |
10:30 | Doctoral Symposium Ⅱ:
MetaMod: A Modeling Formalism with Modularity at its Core A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data Understanding, Refactoring, and Fixing Concurrency in C# A Message-Passing Architecture Without Public Ids using Send-to-Behavior |
12:30 | Lunch |
2:00 | What knowledge and skills do Ph.D. students need to acquire? Jo Atlee, Eric Bodden, Paul Grünbacher, Lars Grunske, Christian Kästner, Johann Krautlager |
Christian Kästner is an Assistant Professor of Computer Science in the School of Computer Science at Carnegie Mellon University. He joined Carnegie Mellon in 2012, after a two-year postdoc in the group of Klaus Ostermann at the University of Marburg. He received his Ph.D. from the University of Magdeburg in 2010 for his work on virtual separation of concerns. For his dissertation he received the prestigious GI Dissertation Award for the best computer-science dissertation in 2010. His research focuses on quality assurance for highly-configurable systems and in understanding and managing variability-induced complexity. He combines programming-language research and software-engineering research in the areas of software product lines, feature-oriented programming, modularity, metaprogramming, software analysis, program comprehension, empirical studies of developers and development artifacts, and program transformations.
A repeated complaint in software analytics is that industrial practitioners find it hard to apply the results generated from data science. This is a pressing issue: actionable analytics are required to enable time-sensitive, environmental-aware decision making. How can we bridge the gap between the predictions we can generate to actions that users can apply? The workshop goal is to:
Organizers:
The goal of the workshop is to highlight research and tools for Java/Android program verification and analysis. Although there is a particular emphasis on the Java Pathfinder (JPF) tool and on projects that use JPF to support basic research, tool development, or verification case studies, the workshop also welcomes contributions related to general program analysis of Java/Android programs. In particular, submissions related to Android are especially encouraged this year. The hope is to use the workshop to grow the community of researchers investigating Java, Android, and JPF in an effort to foster collaboration and define future needs for Java program analysis.
Organizers:
TESTBEDS 2015 aims to bring together researchers from both academia and industry with the aim of sharing ideas and presenting research on the state of the art in automated testing techniques for event-based software/systems (EBSs). Examples of EBSs include graphical user interfaces (GUIs), web applications, mobile applications, network protocols, embedded software, web services, and device drivers.
One of the key properties of EBSs is the simplified, implicit interaction between components that is based on the exchange of events. The interaction is limited to one component publishing an event that can be received by one or more other components, with no inherent coordination, continuation, or context preservation. Due to the loose coupling and the implicit interaction between its components, event-based systems may be highly scalable and easy to evolve, but at the same time they can be more difficult to test and debug.
In this workshop we welcome submissions regarding every aspect of EBS testing, including techniques for test-case generation and execution, oracle definition, testing tools and environments, regression testing, security testing, etc.
Organizers:
Automated software engineering, and software engineering in general, has a rich history around the issues of collaboration. One might argue that many of the tools, models, and studies that have been reported in the ASE conference series have in one way or another had to do with collaboration. This workshop seeks specifically to highlight collaboration as a specific lens or framework for assessing the state of the art in automated support for collaborative and global software engineering. In taking this focus, issues about integrative solutions, open problems, and a research agenda will emerge.
Organizers:
The Fourth International Workshop on Software Mining aims to bridge research in the data mining community and software engineering community by providing an open and interactive forum for researchers who are interested in software mining to discuss the methodologies and technical foundations of software mining, approaches and techniques for mining various types of software-related data, and applications of data mining to facilitate specialized tasks in software engineering. Participants of diverse background in either data mining or software engineering can benefit from this workshop by sharing their expertise, exchanging ideas, and discussing new research results.
Authors who are interested in software mining are invited to submit their manuscripts related to all aspects of software mining, including software mining foundations, mining specific software data, software mining in specialized tasks, etc.
Organizers:
Software development artifacts produced during the development process are of different types. Some are structured, such as the source code and execution traces, while others are unstructured, like source code comments, identifiers, bug reports, usage logs, etc. Such data embeds a significant knowledge about software projects that can help software developers make technical and business decisions. While the focus has been extensively on source code in the past, researchers have recently investigated the textual information (e.g., identifiers and comments) contained in software artifacts or informal documentation (e.g., StackOverflow, emails threads, change logs, bug reports, etc.) about the software systems. Automatic techniques and tools have been developed to generate and/or mine unstructured data to gain insight about the software development process or assist development teams in tasks like software traceability, feature/concept location, source code vocabulary normalization, bug localization, and summarization.
This tutorial will start with an introduction of textual information in source code and/or documentation. Next, we will present automatic techniques and tools to generate and mine such data and discuss related challenges. We will also present examples of major software engineering tasks making use of textual data mining along with scenarios of their application and the most recent contributions relevant to each task. Specifically, we will focus on automatic source code vocabulary normalization, summarization, crash reports analysis for fault localization. Finally, we will discuss with the audience the success and failures in achieving the full potential of such tasks in a software development context as well as possible improvements and research directions.
The tutorial will provide novices with a common framework about major software engineering tasks leveraging textual data while for experts the tutorial can be an interesting opportunity to discuss challenges, document the state of the art and practice, encourage cross-fertilization across various research areas ranging from mining software repositories to natural language processing and text retrieval, and establish foreseeable collaborations between researchers.
This tutorial is intended for both novice and experts, academics and industrial practitioners. It will provide participants with an understanding of software text, techniques to mine it from source code or documentation, and ways of adopting and integrating it in major engineering tasks. Additionally, novices will be able to understand engineering tasks such as vocabulary normalization, software artifact summarization, bug localization, and how they can exploit textual data to fully reap their benefits. The tutorial will show scenarios of the presented approaches and how they can help to guide developers during their tasks as well as to improve software maintenance and evolution.
We will also discuss the limitations and challenges of the most recent related techniques and how these issues can be addressed and mitigated. Participants are encouraged to talk about their recent works related to the tutorial (if any) and share their experiences and major faced challenges. Experts will be there to guide and provide them with feedback.
Latifa Guerrouj is an Assistant Professor at École de Technologie Supérieure, Montreal, Canada. She is also a member of the Data Mining and Security (DMaS) Lab at the School of Information Studies at McGill University where she had the privilege of working with Dr. Benjamin C. M. Fung as a postdoc fellow. Latifa received her Ph.D. from the Department of Computing and Software Engineering (DGIGL) of Polytechnique Montreal, Canada. Her research work/interests involves empirical software engineering, software analytics, data mining, and big data software engineering. Latifa is serving as an organizing and program committee member for several international conferences and workshops including ICSME'16, ICSME'15, SANER'15, SWAN'15, ICSM'14, SCAM'14, MSR'14/13, WCRE'13/12, ICST'12, etc. She is a member of ACM and IEEE.
Benjamin C. M. Fung is an Associate Professor of Information Studies (SIS) at McGill University and Canada Research Chair in Data Mining for Cybersecurity. He is a Research Scientist in the National Cyber-Forensics and Training Alliance Canada (NCFTA Canada). Fung received a Ph.D. degree in computing science from Simon Fraser University in 2007. Fung has over 80 refereed publications that span the prestigious research forums of data mining, privacy protection, cyber forensics, services computing, and building engineering. His data mining works in crime investigation and authorship analysis have been reported by media worldwide. His research has been supported in part by NSERC, SSHRC, DRDC, FRQNT, and NCFTA Canada. Fung is a licensed professional engineer in software engineering, and is currently affiliated with the Data Mining and Security Lab (DMaS) at SIS. He is also an Affiliate Associate Professor of Information Systems Engineering (CIISE) at Concordia. Fung is an ACM/IEEE senior member.
David Lo is an Assistant Professor in the School of Information Systems at Singapore Management University. He received his Ph.D. from School of Computing, National University of Singapore in 2008. Before that, he was studying at School of Computer Engineering, Nanyang Technological University and graduated with a B.Eng (Hons I) in 2004. David works in the intersection of software engineering and data mining. His research interests include dynamic program analysis, specification mining, and pattern mining. Lo received a Ph.D. in computer science from the National University of Singapore. He is a member of the IEEE and the ACM.
Foutse Khomh is an Assistant Professor at Polytechnique Montreal, where he heads the SWAT Lab on software analytics and cloud engineering research. Prior to this position he was a Research Fellow at Queen's University (Canada), working with the Software Reengineering Research Group and the NSERC/RIM Industrial Research Chair in Software Engineering of Ultra Large Scale Systems. He received his Ph.D in Software Engineering from the University of Montreal in 2010, under the supervision of Yann-Gaël Guéhéneuc. His main research interest is in the field of empirical software engineering, with an emphasis on developing techniques and tools to improve software quality. Over the years, he has applied many text mining techniques to solve multiple software engineering problems. He co-founded the International Workshop on Release Engineering and was one of the editors of the first special issue on Release Engineering in the IEEE Software magazine.
Abdelwahab Hamou-Lhadj is a tenured Associate Professor in ECE, Concordia University. His research interests include software modeling, software behavior analysis, software maintenance and evolution, anomaly detection systems. He holds a Ph.D. degree in Computer Science from the University of Ottawa (2005). He is a Licensed Professional Engineer in Quebec, and a long-lasting member of IEEE and ACM.
NoSQL data stores are becoming increasingly popular in agile web development: Naturally, a straightforward motivator is the sheer volume of data that is to be managed. Yet NoSQL backends can be also a good fit in settings where data volume is not the driving factor: Due to their flexibility in handling heterogeneous data, NoSQL data stores make it easy to deploy new releases without immediately having to migrate legacy data already persisted in production.
Yet as most NoSQL data stores do not offer support for declaring and maintaining a global data model, tasks like curating data model changes become the responsibility of the software engineers.
In this tutorial, we keep a tight focus on the implications of getting the data model right on the maintainability of legacy data, transaction processing, query evaluation, and also on application scalability.
We provide an overview over the pleasures as well as the pains in building web applications backed by NoSQL data stores. In particular, we point out genuine research opportunities for the ASE community, as well as real-life opportunities for providing systematic tool support.
The tutorial targets attendees from academia and industry alike, who are
Stefanie Scherzinger has been gathering hands-on experience building web applications against NoSQL backends as a software engineer with Google. Ever since she re-joined academia in 2012 as a professor at OTH Regensburg, Germany, she has been dedicating her research to the challenges that software engineers encounter when they are first getting started with NoSQL technology. Her work has a strong focus on the use of NoSQL object mappers in agile software development. Her most recent projects include ControVol, an Eclipse plugin that timely warns developers when their latest application code, despite lazy migration annotations, is not backwards-compatible with data already persisted in production.
Neither manual nor totally automated discovery of software vulnerabilities is practical. Manual discovery requires extremely laborious work by highly skilled software analysts and totally automated discovery is riddled with intractable problems.
This tutorial introduces a novel practical approach for machine-enabled human-in-the-loop discovery of software vulnerabilities, and is based on "amplifying human intelligence" rather than trying to replace human intelligence. The approach is supported by a suite of tools with unique capabilities that enable human analysts to quickly identify and understand the relevant parts of large software and perform "what-if experiments" in order to discover highly sophisticated vulnerabilities. These tools are advanced through large Defense Advanced Research Projects Agency (DARPA) projects and their effectiveness has been demonstrated for discovering sophisticated malware challenges.
About 60% of the tutorial will be demonstrations and hands-on experience to illustrate novel discovery and validation techniques and their real-world applicability. Along with demonstrations, the tutorial will provide fundamental insights into working with large software.
The tutorial is intended for researchers and industry practitioners in the fields of software reliability, cybersecurity, automated program analysis and comprehension, testing, and validation. The tutorial will be valuable for setting new directions for research or improving current industry practices.
Suresh Kothari (Suraj) is the Richardson Professor of Electrical and Computer Engineering (ECE) at Iowa State University (ISU) and the founder of EnSoft. He is a leader in machine-enabled reasoning to solve complex problems of developing and maintaining large software including cybersecurity and safety. He has served as a PI for the DARPA Automated Program Analysis for Cybersecurity (APAC) program, and a Co-PI for the DARPA Software Enabled Control (SEC) program. Currently he is a PI for the Space/Time Analysis for Cybersecurity (STAC) program. EnSoft, the company he founded in 2002, provides software products and services worldwide to more than 250 companies including major avionics and automobile companies. He was awarded in 2012 the Iowa State Board of Regents Professor Award for excellence in research, teaching, and service. He has served as a Distinguished ACM Lecturer. His tutorials at major conferences, short courses, and invited talks are widely appreciated by industry and academia.
Ben Holland is a research scientist at ISU working on DARPA projects. He has extensive experience of writing program analyzers to detect novel and sophisticated malware in Android applications. He has served on the ISU team as a key analyst for DARPA's APAC program. He has given talks at Derbycon 4.0 in Louisville, Kentucky and at DARPA's headquarters in Arlington, Virginia. His past work experience has been in mission assurance at MITRE, government systems at Rockwell Collins, and systems engineering at Wabtec Railway Electronics. He holds a master's degree in Computer Engineering and Information Assurance, a B.S. in Computer Engineering, and a B.S. in Computer Science. Currently he serves on the ISU team for DARPA's STAC program.
The last decade has seen an unprecedented growth in the scale of software systems, both in terms of the processing capacity they provide to handle planet-scale user communities and the amount of data they manage. This acceleration in scale is only likely to increase as we start to build applications that handle the predicted 26 billion sensors deployed in the "Internet of Things" by 2020. This tutorial will start by analyzing the software architecture challenges of scale at all layers of the stack, including application processing, data, and deployment and management. We will then present five general principles for building applications at scale and illustrate these principles through examples derived from deployed Internet systems. This will lead into a description of specific architecture principles and patterns that are proven to be effective at scale. We will demonstrate how these patterns are supported in contemporary scalable technologies such as Apache Storm for real-time data processing, Apache Spark for data analysis, Cassandra for data storage, and Docker for application management.
The tutorial targets attendees from both academia and industry who are want to gain a broad understanding of the building scalable software systems. It will be of interest to graduate students who want an in-depth perspective on the challenges and state-of-the-art in building scalable systems, as well as researchers looking for new research opportunities and software engineers who want to assess the landscape of techniques and engineering approaches being pioneered in engineering practice.
Ian Gorton has deep and extensive experience in designing scalable systems in both science and business. He is an internationally recognized expert in software architecture and has written three books and ~150 refereed papers in the broad area of software engineering. He brings a compelling blend of practical and theoretical knowledge to building scalable software systems. He is currently a Professor and Director of Computer Science at Northeastern University’s Seattle campus. Prior to joining Northeastern, he was a Senior Member of the Technical Staff at the Carnegie Mellon University Software Engineering Institute, where he led the SEI's research in big-data systems, leading the creation of a novel online knowledge base on distributed database systems, and tutorials and courses on big-data software architectures. Gorton is an experienced tutorial and professional course presenter, and in the past has lead multiple tutorials and workshops at leading conferences including ICSE, OOPSLA, and WICSA. More details on his 25-year career and recent work can be found on his home page.
Molecular programming, also known as DNA nanotechnology, uses the information-processing power of molecules to design self-assembling, programmable structures and devices at the nanoscale. Molecular programming is the programming of matter to do our bidding at molecular scales, and it is programming in the literal sense of computer science. Targeted and customized medical therapeutics, cheap and reliable bio-sensors, molecular robots, smart materials, and bio-compatible computer electronics are applications of molecular programming that are poised to have a major impact on society.
Automated software engineering provides design and verification methodologies that are currently needed to bring this new field to maturity. The tutorial will cover several familiar development techniques that software engineers are adapting to make planned molecular systems more productive, predictable and safe. These include goal-oriented development, reaction network models, simulation tools, and probabilistic model checking.
The new techniques developed for molecular programming will be of interest to a broad software engineering audience. Challenges addressed include new capabilities for handling scalability to very large numbers of devices or services, for dealing with uncertain and probabilistic behavior, and for predicting the limits of safe operation.
The tutorial is aimed at researchers, developers, and students with an interest in software engineering, and either molecular programming or new technologies for managing highly scalable, distributed systems in uncertain environments. No biology, chemistry, or formal methods background is assumed. Participants will leave the tutorial conversant with topics and materials to initiate research and educational discussions in their home institutions or organizations.
Robyn Lutz is a professor of computer science at Iowa State University, USA. She was also on the technical staff of Jet Propulsion Laboratory, California Institute of Technology from 1983 to 2012, most recently in the Software System Engineering group. Her research interests include software engineering of safety-critical systems, product lines, and the specification and verification of DNA nanosystems. She is an ACM Distinguished Scientist. She served as program chair of the 2014 International Requirements Engineering Conference, is an associate editor of IEEE Transactions on Software Engineering, and is on the editorial board of the Requirements Engineering Journal.
Titus Klinge is a fifth-year Ph.D. student in computer science at Iowa State University and is co-advised by Lathrop and J. Lutz. His research interests include molecular programming and DNA nanotechnology, formal methods, and theory of computing. He attended the Fourth Summer School on Formal Techniques at Menlo College in 2014 and received an ISU Teaching Excellence Award in 2014 for his work as a teaching assistant.
James Lathrop is a Senior Lecturer in the Computer Science Department at Iowa State University, USA. He received his Ph.D. in Computer Science from Iowa State University in 1997 and an M.S. in Electrical and Computer Engineering from the University of California at Irvine. He has also worked in industry, both in a small start-up company and large aerospace corporation. His research interests are in molecular programming and DNA nanotechnology.
Jack Lutz is a Professor of Computer Science at Iowa State University, USA, where he has been a faculty member since earning his Ph.D. at the California Institute of Technology. His research interests are in molecular programming and DNA nanotechnology, computational complexity, and algorithmic randomness. He has published 53 journal papers and 60 conference papers in these areas, and he has been the PI on nine NSF research grants. He has supervised 11 Ph.D. students through completion, and he has held visiting positions at Rutgers University, Cornell University, NEC Research Institute, the University of Wisconsin at Madison, the California Institute of Technology, and the University of Cambridge.
Modern software systems—such as cyber-physical systems, cloud, and service-oriented systems—are realized by means of dynamic composition of autonomous and heterogeneous resources that interact with each other to provide users with rich functionalities. Since these systems are subject to uncertainties and continuous change, the traditional stability assumptions made on systems' design are no longer valid. The correct operation of these applications depends on the ability of software to adapt to change through dynamic reconfiguration. As software adaptation is often too complex or too costly to be performed by human operators, its automation has been the subject of intense research. Self-adaptation is one prominent approach in which a software system is extended with one or more external software controllers that monitor the system and adapt its configuration or architecture to ensure requirements are met under environmental and internal changes. In this tutorial we elaborate on the pertinent need for self-adaptation and outline state-of-the-art realization approaches. We explain how self-adaptation enables handling the paradox between uncertainties on the one hand and the need for assurances on the other hand. Throughout the tutorial, we use concrete examples to illustrate the material. We discuss open challenges and outline a vision for the future development of sustainable software.
The tutorial targets attendees from academia and industry with an interest in:
Danny Weyns is a professor at the Department of Computer Science of Linnaeus University, Växjö Sweden, where he leads the AdaptWise research group. His current research interest is in software engineering of self-adaptive systems. Concrete topics include the exploitation of design models at runtime to realize and assure self-adaptation for different quality goals and the application of principles from control theory for realizing self-adaptation of software. Research results are empirically validated in the domains of smart homes and multi-robot systems. From October onwards, Dr. Weyns returns to DistriNet Labs at the Katholieke Universiteit Leuven, Belgium, where he obtained a Ph.D. in 2006.
A welcome reception will be held Wednesday evening at the Sheldon Museum of Art. The museum is just steps from the conference venue on the UNL campus:
There will also be a sit-down banquet on Thursday evening; this will be held at the Museum of American Speed on Thursday. The museum will be open for touring for the first part of the evening. Buses will leave from Embassy Suites at 5:45 PM and return to the hotel at the end of the banquet.
Lincoln is the state capital and second-largest city in Nebraska. Home to dozens of small- to medium-sized tech companies and growing, locally known as the Silicon Prairie, Lincoln is set to be a unique location for ASE. Conveniently situated in the middle of the US, it is easily reached from multiple international hubs, including Chicago, Denver, Minneapolis, and Newark.
ASE will be held in downtown Lincoln and within walking distance from the historic Lincoln Haymarket, a district featuring a concentation of eateries, shops, art venues, and historic buildings, as well as numerous software company headquarters.
Lincoln, Nebraska has earned a reputation as one of the Midwest's most beloved cities. Home to fine culinary and artistic treasures; a budding live music scene; breathtaking parks, golf courses, and trails; and a friendly Midwestern attitude, Lincoln offers the exhilaration of a big city and the serenity of the countryside all in one place. Lincoln is host to many attractions and museums that capture the unique interests from all over the world and offers literally hundreds of choices for where to eat, sleep, work, shop, relax and play.
Lincoln offers large parks dedicated to putting you in touch with nature and little parks designed for helping you catch some air. There is water teeming with fish, and there are wooded paths to stroll. Head for a city rec center or play some laser tag. Spy the constellations or take to the rink. No matter what you choose, Lincoln will keep you busy.
Excitement is everywhere in Lincoln if you are interested in sports and entertainment. Lincoln has successfully hosted many local, regional, and national events. In 2010, Lincoln hosted over 25,000 people during the National Games for Special Olympics. In addition to Huskers football and volleyball, just to name a few, Lincoln is also home to Lincoln Stars Hockey and Lincoln Saltdogs Baseball.
Visit the Lincoln Visitor's Bureau website for things to do and attractions to visit while in Lincoln.
Visit Omaha's Henry Doorly Zoo and Aquarium, which has recently been ranked number one in the world by TripAdvisor. Omaha's Henry Doorly Zoo and Aquarium is home to many of the world's largest indoor exhibits including the largest desert, rainforest, and an indoor swamp and nocturnal exhibit. Discover the Suzanne and Walter Scott Aquarium where visitors are at the bottom of the ocean coming nose to nose with sea turtles and sharks.
There are more places to see and things to do in Nebraska than you can imagine. Follow in the footsteps of the great explorers, pioneers, and Plains Indians. Discover wildlife from the prairie and from around the world. Get in touch with the area's rich cultural heritage at one of the many summer festivals. Tap into the state's natural wonders and sleep out under the stars. Take a look at Nebraska's to-do list. You're guaranteed to find a few must-dos for yourself. Learn more at Visit Nebraska.
ASE 2015 will be held in Embassy Suites Lincoln within walking distance of the historic haymarket, the University of Nebraska–Lincoln, and many restaurants and bars. The suites include a bedroom, a living area, a kitchenette, complmentary full cooked-to-order breakfasts, and complmentary wireless internet access. They are available from November 8 to November 14 at the conference rate of 129 USD/night, which is good until October 5. (Rooms are going fast; book soon. Bookings can be made with the group code "ICS" on this page or by calling +1 402 474 1111. There are also rooms at the government rate available for US federal employees.
Please book your rooms soon if you have not done so. Rooms are going quickly due to some local events that week in Lincoln. We are extending the date for booking using our rate (October 26th), but the availability may become limited. Please contact us if you are having problems booking.
There are two major airports located near the conference.
Lincoln Airport (LNK) is our local airport, a smaller regional airport with flights from Chicago, Atlanta, and Minneapolis. It is approximately 10 minutes from the conference hotel. There is a free hotel shuttle.
Eppley Airport Eppley Airfield (OMA) is in Omaha, which is 50 miles or about an hour away. We have negotiated a conference rate of $40 plus 10% gratuity each way with OMALiNK. Additional passengers (using the same credit card) will cost $25 per person. You can book directly online at http://omalink.com/ or call at +1 (402)-475-5465. Use the promo-code ASE2015. Attendees should book at least one week ahead of time to guarantee a spot; late add-ons will be handled as space is available.
Amtrak offers one train daily from Denver or Chicago.
Driving directions from nearby major cities are given below:
Visitors to the US from certain countries are required to apply for an entry visa, typically through an embassy in their country. See the US state department for current requirements. To request an official invitation letter from ASE 2015, e-mail the general chair with the following information. Invitation letters will be issued electronically only after receipt of registration is confirmed.
To help you promote ASE, we have developed the banner below:
To include the banner on your webpage, simply use the following code snippet:
A smaller banner is also available:
To include it, use this code snippet instead:
Thank you for promoting ASE!
Industry and academic organizations who support ASE will gain visibility and prestige by supporting the premier research conference in automated software engineering. Listed below are the standard supporter levels. Additional opportunities for support are available, such as sponsoring a particular social event (e.g., the welcome reception, coffee breaks, banquet, drinks, student activities, souvenirs, etc.). Please contact the general chair, Myra Cohen, at myra@cse.unl.edu or +1 402 472 2305 to support ASE.
(The call for papers is also available as a PDF.)
The IEEE/ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. In 2015, ASE will be celebrating its 30th year as a premier venue for novel work in software automation.
ASE 2015 invites high quality contributions describing significant, original, and unpublished results.
Solicited topics include, but are not limited to:
Three categories of submissions are solicited:
Abstracts are due by 11:59 PM (any timezone), May 8, 2015; papers are due by 11:59 PM (any timezone), May 15, 2015.
Papers must be submitted electronically through the ASE 2015 submission site.
All submissions must come in PDF format and conform, at the time of submission, to the IEEE Formatting Guidelines. Authors should use the US letter style. LaTeX users should declare their document class as
\documentclass[conference]{IEEEtran}
The compsoc
option is not to be used.
Technical Research Papers and Experience Papers must not exceed 10 pages (including figures and appendices) plus up to 2 pages that contains ONLY references. New Ideas Papers must not exceed 6 pages (including figures, appendices AND references). Submissions that do not adhere to these limits or that violate the formatting guidelines will be desk-rejected without review. All submissions must be in English.
Papers submitted to ASE 2015 must not have been previously published and must not be under review for publication elsewhere. All papers that conform to submission guidelines will be peer-reviewed by members of the Program Committee and members of the Expert Review Panel. Submissions will be evaluated on the basis of originality, soundness, relevance, importance of contribution, evaluation, quality of presentation and appropriate comparison to related work. Note that the program committee may re-assign a submission into a different category than the one it is submitted to if it decides that it is a better fit for that category.
All accepted papers will be published by IEEE, provided that at least one author of each accepted paper registers for the conference and presents the paper. Failure to do so may result in the paper being pulled out of the IEEE Digital Library.
The goal of the ASE 2015 Doctoral Symposium is to provide a supportive yet questioning setting in which the Ph.D. students have an opportunity to present and discuss their research with other researchers in the ASE community. The symposium aims at providing students useful guidance and feedback on their research and to facilitate networking within the scientific community by interacting with established researchers and with their peers at a similar stage in their careers.
The technical scope of the symposium is that of ASE. Students should consider participating in the Doctoral Symposium after they have settled on a dissertation topic with some initial research results. The ASE 2015 Doctoral Symposium is open to Ph.D. students at any stage of their research, whereby students at the initial stage (first or second year) will be able to challenge their ideas and current research directions, while students at a later stage (third or fourth year) will be able to present their preliminary results and get advice for improvement and for better exposition of their contributions and conclusions.
The Doctoral Symposium Committee will select participants using the following criteria:
Students should not infer that a list of prior publications is in any way expected or required; we welcome submissions from students for whom this will be their first formal submission as well as those who have previously published.
To apply as a student participant in the ASE 2015 Doctoral Symposium, one should prepare a submission package consisting of two parts, both of which must be submitted by the submission deadline (see instructions below).
All submissions must come in PDF format and conform, at the time of submission, to the IEEE Formatting Guidelines. Authors should use the US letter style. LaTeX users should declare their document class as
\documentclass[conference]{IEEEtran}
The compsoc
option is not to be used.
The research abstract must conform to the ASE 2015 formatting and submission instructions and should cover:
Students at the initial stage of their research might have some difficulty in addressing some of these instructions, but should make the best attempt. The research abstract should include the title of the work, the submitter's name and the name of the advisor, the submitter's e-mail address, postal address, personal website, and a one-paragraph summary in the style of an abstract for a regular paper.
Please submit the research abstract by 11:59 PM (any timezone), June 26, 2015 at https://www.easychair.org/conferences/?conf=ase2015ds.
In addition to the research abstract, a submitter must provide a letter for recommendation from their Ph.D. advisor. This letter should include the student's name and a candid assessment of the current status of the dissertation research and an expected date for dissertation submission. The recommendation letter should be in PDF, and sent to the co-chairs: ase2015ds@easychair.org with the subject "ASE 2015 DOCTORAL SYMPOSIUM RECOMMENDATION".
All authors of accepted contributions will receive further instructions for preparing their camera ready versions. Authors must register for the ASE 2015 Doctoral Symposium and present their work at the symposium.
A workshop co-located with the ASE 2015 conference should provide an opportunity for exchanging views, advancing ideas, and discussing preliminary results on topics related to Automated Software Engineering. Workshops may also serve as platforms to nurture new scientific communities. Workshops should not be seen as an alternative forum for presenting full research papers. The workshops co-located with the conference will be organized before the main conference (Monday, Tuesday). The organizers will decide the exact day after the proposals have been reviewed and accepted. A workshop may last one or two days.
Workshop registration will be waived for one keynote speaker per workshop.
Proposals are due by 11:59 PM (any timezone), April 24, 2015.
Proposals for organizing workshops should be written in English, limited to 5 pages (in IEEE format), and submitted in PDF to both workshop co-chairs Anita Sarma and David Lo by e-mail (asarma@cse.unl.edu and davidlo@smu.edu.sg). Workshop proposals should include the following information:
Note that the workshop co-chairs will consider the preference of workshop dates specified by the organizers, but the acceptance of a workshop proposal does not guarantee adherence to the requested date/time. The workshop co-chairs will assume that workshop proposers will be able to run a workshop on the dates that ASE 2015 has reserved for workshops.
All submissions must come in PDF format and conform, at the time of submission, to the IEEE Formatting Guidelines. Authors should use the US letter style. LaTeX users should declare their document class as
\documentclass[conference]{IEEEtran}
The compsoc
option is not to be used.
Workshop proposals will be reviewed by the ASE 2015 workshop co-chairs. Acceptance will be based on an evaluation of the workshop's potential for generating useful results, the timeliness and expected interest in the topic, the organizer's ability to lead a successful workshop, and the potential for attracting a sufficient number of participants. Accepted workshops must adhere to the common deadlines listed below for submissions of papers, acceptance of papers, and preparation of proceedings.
Tutorials address a wide range of mature topics from theoretical foundations to practical techniques and tools for automated software engineering. Tutorials are intended to provide independent instruction on a relevant theme; therefore, no commercial or sales-oriented proposals will be accepted. The tutorials will be organized either on the Monday or Tuesday before the main conference. The general chair and organizers will decide the exact dates after all proposals have been reviewed and accepted.
Instructors are invited to submit proposals for half-day and full-day tutorials and, upon selection, are required to provide tutorial notes on the topic of presentation in PDF. Proposals for organizing tutorials should be written in English, limited to 5 pages (in IEEE format), and submitted in PDF to both tutorials co-chairs Henry Muccini and Tien N. Nguyen. The proposals should include the following information:
Note that the tutorial co-chairs will consider the preference of tutorial dates specified by the organizers. However, the acceptance of a tutorial proposal does not guarantee adherence to the requested date and time. The tutorial co-chairs assume that tutorial proposers will be able to run a tutorial on the dates that ASE 2015 has reserved for tutorials.
Proposals are due by 11:59 PM (any timezone), June 1, 2015.
All submissions must come in PDF format and conform, at the time of submission, to the IEEE Formatting Guidelines. Authors should use the US letter style. LaTeX users should declare their document class as
\documentclass[conference]{IEEEtran}
The compsoc
option is not to be used.
Tutorial proposals will be reviewed by the ASE 2015 tutorials co-chairs. Acceptance will be based on the timeliness and expected interest in the topic, the proposer's ability to present an interesting tutorial, and the potential for attracting a sufficient number of participants.
Automated software engineering consists of automating processes related to requirements, design, implementation, testing, and maintenance of software systems. Automated processes facilitate better productivity and improve the overall quality of software. Tool development is an integral part of automated software engineering. Tool demonstrations track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of automated software engineering.
ASE 2015 solicits high-quality submissions for its tool demonstrations track. We invite submission on tools that are either (a) early research prototypes or (b) mature tools, with a significant novel improvement, that have not yet been commercialized. Submissions should highlight the underlying scientific contributions, engineering ingenuity, applicability to a broader software engineering community, and scalability of the tool. In contrast to a research paper intended to provide details of a novel automated software engineering technique, a tool demonstration paper should indicate how the technique has been implemented as a functioning tool. Authors of papers submitted to the Technical Research track are thus encouraged to submit an accompanying tool demonstration paper.
The tool demonstration program committee will review each submission to assess the relevance and quality of the proposed tool demonstration in terms of usefulness of the tool, presentation quality, and appropriate discussion of related tools. Accepted tool demonstrations will be allocated 6 pages in the conference proceedings: 5 pages for prose and up to one additional page for references. Demonstrators will give a presentation (read: live demo) of the tool during the conference. There will also be an area open to attendees at scheduled times during the conference during which demonstrators will also present their work in an more informal manner. Presenting at the conference is a requirement for publication.
Submissions should:
The proposal should include:
The web page for your tool submission must include:
All submissions must come in PDF format and conform, at the time of submission, to the IEEE Formatting Guidelines. Authors should use the US letter style. LaTeX users should declare their document class as
\documentclass[conference]{IEEEtran}
The compsoc
option is not to be used.
Submit your proposal by 11:59 PM (any timezone), July 23, 2015 at https://www.easychair.org/conferences/?conf=ase2015tooldemos.
ASE is the conference formerly known as KBSE.
Please visit ase-conferences.org for a full list and detailed information about the ASE conference series.