default search action
29th ASE 2014: Vasteras, Sweden
- Ivica Crnkovic, Marsha Chechik, Paul Grünbacher:
ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. ACM 2014, ISBN 978-1-4503-3013-8
Keynotes
- Luciano Floridi:
Keynote talk: the logic of information design. 1-2 - Andrei Voronkov:
Keynote talk: EasyChair. 3-4 - Magnus Larsson:
Keynote talk: experiences from developing industrial software systems with long lifecycles. 5-6
Program understanding
- Alexander Tarvo, Steven P. Reiss:
Automated analysis of multithreaded programs for performance modeling. 7-18 - Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun
:
Behavioral resource-aware model inference. 19-30 - Peter Dinges, Gul A. Agha
Targeted test input generation using symbolic-concrete backward execution. 31-36 - Vijay Krishna Palepu, James A. Jones:
Discriminating influences among instructions in a dynamic slice. 37-42 - Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah
Dompletion: DOM-aware JavaScript code completion. 43-54
Testing I
- José Carlos Medeiros de Campos
Continuous test generation: enhancing continuous integration with automated test generation. 55-66 - Amin Milani Fard
Leveraging existing tests in automated test generation for web applications. 67-78 - Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Automated unit test generation for classes with environment dependencies. 79-90 - Sonal Mahajan, William G. J. Halfond:
Finding HTML presentation failures using image comparison techniques. 91-96 - Ajitha Rajan, Subodh Sharma, Peter Schrammel
Accelerated test execution using GPUs. 97-102
Data mining I
- Steven P. Reiss:
Seeking the user interface. 103-114 - Ting Ye, Bing Xie, Yanzhen Zou, Xiuzhao Chen:
Interrogative-guided re-ranking for question-oriented software text retrieval. 115-120 - Jihun Park
An empirical study on reducing omission errors in practice. 121-126 - Lucia, David Lo
Fusion fault localizers. 127-138
Variability and configuration
- Sergio Segura, Ana Belén Sánchez
Automated variability analysis and testing of an E-commerce site.: an experience report. 139-150 - Dongpu Jin, Myra B. Cohen, Xiao Qu, Brian Robinson:
PrefFinder: getting the right preference in configurable software systems. 151-162 - Reza Matinnejad, Shiva Nejati
MiL testing of highly configurable continuous controllers: scalable search using surrogate models. 163-174
Abstraction
- Markus Kusano, Chao Wang:
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. 175-186 - Yueqi Li, Shing-Chi Cheung
Symbolic state validation through runtime data. 187-198 - Wenhua Yang, Chang Xu, Yepang Liu
Verifying self-adaptive applications suffering uncertainty. 199-210
Components
- Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli
Automated synthesis and deployment of cloud applications. 211-222 - Erik Österlund, Welf Löwe:
Concurrent transformation components using contention context sensors. 223-234 - Ernest Wozniak, Marco Di Natale
Assigning time budgets to component functions in the design of time-critical automotive systems. 235-246
Symbolic execution I
- Anthony Romano, Dawson R. Engler:
symMMU: symbolically executed runtime libraries for symbolic memory access. 247-258 - Scott Kausler, Elena Sherman
Evaluation of string constraint solvers in the context of symbolic execution. 259-270 - Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui
Incremental symbolic execution for automated test suite maintenance. 271-276
Transformations I
- Julian James Stephen, Savvas Savvides, Russell Seidel, Patrick Th. Eugster:
Program analysis for secure big data processing. 277-288 - Hani Abdeen, Dániel Varró
Multi-objective optimization in rule-based design space exploration. 289-300 - Bryan Marker, Don S. Batory, Robert A. van de Geijn
Understanding performance stairs: elucidating heuristics. 301-312
Change management
- Jean-Rémy Falleri
Fine-grained and accurate source code differencing. 313-324 - Yguaratã Cerqueira Cavalcanti, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
Combining rule-based and information retrieval techniques to assign software change requests. 325-330 - Mohamed Wiem Mkaouer
Recommendation system for software refactoring using innovization and interactive dynamic optimization. 331-336 - Gabriele Bavota
Recommending refactorings based on team co-maintenance patterns. 337-342 - Haipeng Cai
Diver: precise dynamic impact analysis using dependence-based trace pruning. 343-348 - Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification. 349-360
Testing II
- Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov:
An empirical evaluation and comparison of manual and automated test selection. 361-372 - Dimitra Giannakopoulou, Falk Howar
Taming test inputs for separation assurance. 373-384 - Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Transferring an automated test generation tool to practice: from pex to fakes and code digger. 385-396 - Mark Harman
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation. 397-408
Product lines
- Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel
Scaling exact multi-objective combinatorial optimization by parallelization. 409-420 - Iago Abal, Claus Brabrand, Andrzej Wasowski
42 variability bugs in the linux kernel: a qualitative analysis. 421-432 - Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin
Automating the formalization of product comparison matrices. 433-444 - Max Lillack, Christian Kästner
Tracking load-time configuration options. 445-456
Data mining II
- Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen
Statistical learning approach for mining API usage mappings for code migration. 457-468 - Venkatesh-Prasad Ranganath
Compatibility testing using patterns-based trace comparison. 469-478 - Mona Rahimi, Jane Cleland-Huang:
Personas in the middle: automated support for creating personas as focal points in feature gathering forums. 479-484 - Saeideh Hamidi, Periklis Andritsos, Sotirios Liaskos:
Constructing adaptive configuration dialogs using crowd data. 485-490
Analysis of web applications
- Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki
Validating ajax applications using a delay-based mutation technique. 491-502 - Mark Hills
Static, lightweight includes resolution for PHP. 503-514 - Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric John Lehner, Steven Y. Ko, Lukasz Ziarek:
Information flows as a permission mechanism. 515-526
Model-driven engineering
- Gregory Gay
Improving the accuracy of oracle verdicts through automated model steering. 527-538 - Zaur Molotnikov, Markus Völter, Daniel Ratiu:
Automated domain-specific C verification with mbeddr. 539-550 - Tobias Kuschke, Patrick Mäder:
Pattern-based auto-completion of UML modeling activities. 551-556 - Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei:
Abstraction-aware verifying compiler for yet another MDD. 557-562
Symbolic execution II
- Tomasz Kuchta
Docovery: toward generic automatic document recovery. 563-574 - Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer
Exact and approximate probabilistic symbolic execution for nondeterministic programs. 575-586 - Joseph P. Near, Daniel Jackson:
Derailer: interactive security analysis for web applications. 587-598
Specification and debugging
- Johanna Schneider:
Tracking down root causes of defects in simulink models. 599-604 - Hila Cohen, Shahar Maoz
The confidence in our k-tails. 605-610 - Wenwen Wang, Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew
Localization of concurrency bugs using shared memory access pairs. 611-622 - Tanzirul Azim, Iulian Neamtiu, Lisa M. Marvel:
Towards self-healing smartphone software via automated patching. 623-628 - Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki:
Minimal strongly unsatisfiable subsets of reactive system specifications. 629-634
Transformations II
- Chuangang Ren, Kai Chen, Peng Liu:
Droidmarking: resilient software watermarking for impeding android application repackaging. 635-646 - Alexander Bergmayr, Javier Troya
From out-place transformation evolution to in-place model patching. 647-652
Human factors
- Rainer Lutz, Stephan Diehl
Using visual dataflow programming for interactive model comparison. 653-664 - Rohan Padhye
NeedFeed: taming change notifications by modeling code relevance. 665-676 - Shaowei Wang, David Lo
Active code search: incorporating user feedback to improve code search relevance. 677-682 - Heidar Pirzadeh, Sara Shanian:
Resilient user interface level tests. 683-688 - Jun Lin
Studying task allocation decisions of novice agile teams with data from agile project management tools. 689-694 - Xiao Liu, Dinghao Wu:
PiE: programming in eliza. 695-700
Verification
- Jie Zhang
Search-based inference of polynomial metamorphic relations. 701-712 - Girish Maskeri Rama, Raghavan Komondoor:
A dynamic analysis to support object-sharing code refactorings. 713-724 - Kyle Dewey
Language fuzzing using constraint logic programming. 725-730 - Sander van der Burg, Eelco Dolstra, Shane McIntosh, Julius Davies, Daniel M. Germán, Armijn Hemel:
Tracing software build processes to uncover license compliance inconsistencies. 731-742 - Samik Basu, Tevfik Bultan:
Automatic verification of interactions in asynchronous systems with unbounded buffers. 743-754
Requirements engineering
- Jin Guo, Natawut Monaikul, Cody Plepel, Jane Cleland-Huang:
Towards an intelligent domain-specific traceability solution. 755-766 - Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz
Automated requirements analysis for a molecular watchdog timer. 767-778 - Kushal Ahmed, M. A. Hakim Newton
Formalisation of the integration of behavior trees. 779-784 - Shuang Liu, Jun Sun
Automatic early defects detection in use case documents. 785-790
Bug localization
- Yu Cao, Hongyu Zhang
SymCrash: selective recording for reproducing crashes. 791-802 - Pavneet Singh Kochhar, Yuan Tian, David Lo
Potential biases in bug localization: do they matter? 803-814 - Daniele Zuddas, Wei Jin, Fabrizio Pastore
MIMIC: locating and understanding bugs by analyzing mimicked executions. 815-826
Tool demonstration
- Timo Kehrer, Udo Kelter, Dennis Reuling:
Workspace updates of visual models. 827-830 - Jesús J. López-Fernández, Esther Guerra
Meta-Model validation and verification with MetaBest. 831-834 - Zhiyi Ma, Chih-Yi Yeh, Huihong He, Hongjie Chen:
A web based UML modeling tool with touch screens. 835-838 - Svetlana Arifulina, Sven Walther, Matthias Becker, Marie Christin Platenius:
SeSAME: modeling and analyzing high-quality service compositions. 839-842 - Yoshiki Higo, Shinji Kusumoto:
MPAnalyzer: a tool for finding unintended inconsistencies in program source code. 843-846 - Josip Maras, Maja Stula, Jan Carlson
Firecrow: a tool for web application analysis and reus. 847-850 - Leo J. Pruijt, Christian Köppe
HUSACCT: architecture compliance checking with rich sets of module and rule types. 851-854 - Reza Matinnejad, Shiva Nejati
CoCoTest: a tool for model-in-the-loop testing of continuous controllers. 855-858 - Dominik Holling, Alexander Pretschner, Matthias Gemmar:
8Cage: lightweight fault-based test generation for simulink. 859-862 - Rodrigo M. L. M. Moreira, Ana C. R. Paiva:
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. 863-866 - Maxime Turenne, Ali Kanso, Abdelouahed Gherbi
A tool chain for generating the description files of highly available software. 867-870 - Ferdian Thung, Pavneet Singh Kochhar, David Lo
DupFinder: integrated tool support for duplicate bug report detection. 871-874
Doctoral symposium
- Johanna Schneider:
Determining the most probable root causes of run-time errors in simulink models. 875-878 - Joseph T. Burke:
Utilizing feature location techniques for feature addition and feature enhancement. 879-882 - Markus Kleffmann:
AugIR: the conceptual design and evaluation of an augmented interaction room. 883-886 - Michael Vierhauser
A requirements monitoring infrastructure for systems of systems. 887-890 - Markus Borg
Embrace your issues: compassing the software engineering landscape using bug reports. 891-894 - Felix Mohr:
Issues of automated software composition in AI planning. 895-898 - Breno Miranda
A proposal for revisiting coverage testing metrics. 899-902 - Florian Angerer:
Variability-aware change impact analysis of multi-language product lines. 903-906 - Maria Kechagia
Improvement of applications' stability through robust APIs. 907-910 - Dennis Priefer:
Model-driven development of content management systems based on Joomla. 911-914
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: