ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - Dialnet

Ir al contenido

Ayuda

ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering

La imagen de portada del libro no está disponible

Información General

Autores: Ivica Crnkovic (coord.)
Editores: ACM: New York, 2014
Año de publicación: 2014
País: España
Idioma: inglés
ISBN: 978-1-4503-3013-
Texto completo no disponible (Saber más ...)

Listado de artículos

- Keynote talk: the logic of information design
  Luciano Floridi
  págs. 1-2
- Keynote talk: EasyChair
  Andrei Voronkov
  págs. 3-4
- Keynote talk: experiences from developing industrial software systems with long lifecycles
  Magnus Larsson
  págs. 5-6
- Automated analysis of multithreaded programs for performance modeling
  Alexander Tarvo, Steven P. Reiss
  págs. 7-18
- Accelerated test execution using GPUs
  Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
  págs. 11-16
- Behavioral resource-aware model inference
  Tony Ohmann, Michael Herzberg, sebastian Fiss, Armand Halbert, Marc Playart, Ivan Beschastnikh, Yuriy Brun
  págs. 19-30
- Targeted test input generation using symbolic-concrete backward execution
  Peter Dinges, Gull Agha
  págs. 31-36
- Discriminating influences among instructions in a dynamic slice
  Krishna Vijay Palepu, James A. Jones
  págs. 37-42
- Dompletion: DOM-aware JavaScript code completion
  Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah
  págs. 43-54
- Continuous test generation: enhancing continuous integration with automated test generation
  José Campos, Andrea Arcuri, Gordon Fraser, Rui Abreu
  págs. 55-66
- Leveraging existing tests in automated test generation for web applications
  Amin Millani Fard, Mehdi Mirzaaghaei, Ali Mesbah
  págs. 67-78
- Automated unit test generation for classes with environment dependencies
  Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti
  págs. 79-90
- Finding HTML presentation failures using image comparison techniques
  Sonal Mahajan, William G.J. Halfond
  págs. 91-96
- Accelerated test execution using GPUs
  Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
  págs. 97-102
- Seeking the user interface
  Steven P. Reiss
  págs. 103-114
- Interrogative-guided re-ranking for question-oriented software text retrieval
  Ting Ye, Bing Xie, Yanzhen Zou, Xiuzhao Chen
  págs. 115-120
- An empirical study on reducing omission errors in practice
  Jihun Park, Miryung Kim, Doo-Hwan Bae
  págs. 121-126
- Fusion fault localizers
  David Lo, Xin Xia
  págs. 127-138
- Automated variability analysis and testing of an E-commerce site.: an experience report
  Sergio Segura Rueda, Ana B. Sánchez, Antonio Ruiz Cortés
  - Texto completo
  págs. 139-150
- PrefFinder: getting the right preference in configurable software systems
  Dongpu Jin, Myra B. Cohen, Xiao Qu, Brian P. Robinson
  págs. 151-162
- MiL testing of highly configurable continuous controllers: scalable search using surrogate models
  Reza Matinnejad, Shiva Nejati, Lionel C. Briand
  págs. 163-174
- Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction
  Markus Kusano, Chao Wang
  págs. 175-186
- Symbolic state validation through runtime data
  Yuegi Li, Shing-Chi Cheung
  págs. 187-198
- Verifying self-adaptive applications suffering uncertainty
  Weihua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu
  págs. 199-210
- Automated synthesis and deployment of cloud applications
  Roberto di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche
  págs. 211-222
- Concurrent transformation components using contention context sensors
  págs. 223-234
- Assigning time budgets to component functions in the design of time-critical automotive systems
  Ernest Wozniak, Marco Di Natale, Haibo Zeng, Sara Tucci-Piergiovani, Sèbastien Gerard
  págs. 235-246
- symMMU: symbolically executed runtime libraries for symbolic memory access
  Anthony Romano, Dawson R. Engler
  págs. 247-258
- Evaluation of string constraint solvers in the context of symbolic execution
  Scott Kausler, Elena Sherman
  págs. 259-270
- Incremental symbolic execution for automated test suite maintenance
  Sarmad Markdoom, Muhammadadeel Khan, Junaid Haroon Siddiqui
  págs. 271-276
- Program analysis for secure big data processing
  Julian James Stephen, Savvas Savvides, Russell Seidel, Patrick Eugster
  págs. 277-288
- Multi-objective optimization in rule-based design space exploration
  Hani Abdeen, Dániel Varró, Houari A. Sahraoui
  págs. 289-300
- Understanding performance stairs: elucidating heuristics
  Brian Marker, Don Batory, Robert A. Van de Geijn
  págs. 301-312
- Fine-grained and accurate source code differencing
  Jean Rémy Falleri, Floréal Morandat, Xavier Blanc, Matías Martínez, Matías Montperrus
  págs. 313-324
- Combining rule-based and information retrieval techniques to assign software change requests
  Yguarata Cerqueira Cavalcanti, Ivan do Carmo Machado, Paulo A. da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero De Lemos Meira Lemos
  págs. 325-330
- Recommendation system for software refactoring using innovization and interactive dynamic optimization
  Mohamed Wiem Mkaouer, Marouane Kessentini, Slim Bechick, Kalyanmoy Deb, Mel O Cinneide
  págs. 331-336
- Recommending refactorings based on team co-maintenance patterns
  Gabriele Bavota, Sebastiano Panichella, Nikolao Tsantalis, Massimiliano Di Penta, Rocco Oliveto, Gerardo Canfora
  págs. 337-342
- Diver: precise dynamic impact analysis using dependence-based trace pruning
  Haipeng Cai, Raul Santelices
  págs. 343-348
- Automating regression verification
  Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
  págs. 349-360
- An empirical evaluation and comparison of manual and automated test selection
  Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
  págs. 361-372
- Taming test inputs for separation assurance
  Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd A. Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
  págs. 373-384
- Transferring an automated test generation tool to practice: from pex to fakes and code digger
  Nikolai Tillmann, Jonathan Halleux, Tao Xie
  págs. 385-396
- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
  Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo Usaola
  págs. 397-408
- Scaling exact multi-objective combinatorial optimization by parallelization
  Jianmei Guo, Edward Zulskoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, A.F. Michael Atlee, Joanne Marie Atle
  págs. 409-420
- 42 variability bugs in the linux kernel: a qualitative analysis
  Iago Abal, Claus Brabrand, Andrzej Wasowski
  págs. 421-432
- Automating the formalization of product comparison matrices
  Guilleaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry
  págs. 433-444
- Tracking load-time configuration options
  Max Lillack, Christian Kästner, Eric Bodden
  págs. 445-456
- Statistical learning approach for mining API usage mappings for code migration
  Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien Nhut Nguyen
  págs. 457-468
- Compatibility testing using patterns-based trace comparison
  Venkatesh Prasad Ranganath, Pradid Harindran Vallathol, Pankaj Gupta
  págs. 469-478
- Personas in the middle: automated support for creating personas as focal points in feature gathering forums
  Mona Rahimi, Jane Cleland-Huang
  págs. 479-484
- Constructing adaptive configuration dialogs using crowd data
  Saeideh Hamidi, Periklis Andritsos, Sotirios Liaskos
  págs. 485-490
- Validating ajax applications using a delay-based mutation technique
  Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
  págs. 491-502
- Static, lightweight includes resolution for PHP
  Mark Hills, Paul Klint, Jurgen J. Vinju
  págs. 503-514
- Information flows as a permission mechanism
  Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric Jhon Lehner, Steven Y. Ko, Lukasz Ziarek
  págs. 515-526
- Improving the accuracy of oracle verdicts through automated model steering
  Gregory GAy, Sanjai Rayadurgam, Mats Per Erik Heimdahl
  págs. 527-538
- Automated domain-specific C verification with mbeddr
  Markus Völter, Daniel Ratiu
  págs. 539-550
- Pattern-based auto-completion of UML modeling activities
  Tobías Kuschke, Patrick Mäder
  págs. 551-556
- Abstraction-aware Verifying Compiler for Yet Another MDD
  Peiluan Li, Naoyasu Ubayashi, Di Ai, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei
  págs. 557-562
- Docovery: Toward Generic Automatic Document Recovery
  Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
  págs. 563-574
- Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs
  Matthew B. Dwyer, Kasper Luckow, Antonio Filieri, Willem Visser, Corina S. Pasareanu
  págs. 575-586
- Derailer: Interactive Security Analysis for Web Applications
  Joseph P. Near, Daniel Jackson
  págs. 587-598
- Tracking Down Root Causes of Defects in Simulink Models
  págs. 599-604
- The Confidence in our k-Tails
  Hila Cohen, Shahar Maoz
  págs. 605-610
- Localization of Concurrency Bugs Using Shared Memory Access Pairs
  Xiaobing Feng, Wenwen Wang, Xiang Yuan, Pen-Chung Yew, Xipeng Shen, Yong Guan
  págs. 611-622
- Towards Self-healing Smartphone Software via Automated Patching
  Iulian Neamtiu, Tanzirul Azim
  págs. 623-628
- Minimal Strongly Unsatisfiable Subsets of Reactive System Specifications
  Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki
  págs. 629-634
- Droidmarking: Resilient Software Watermarking for Impeding Android Application Repackaging
  Chuangang Ren, Peng Liu, Kai Chen
  págs. 635-646
- From Out-Place Transformation Evolution to In-Place Model Patching
  Alexander Bergmayr, Javier Troya Castilla, Manuel Wimmer
  págs. 647-652
- Using Visual Dataflow Programming for Interactive Model Comparison
  Rainer Lutz, Stephan Diehl
  págs. 653-664
- NeedFeed: Taming Change Notifications by Modeling Code Relevance
  págs. 665-676
- Active Code Search: Incorporating User Feedback to Improve Code Search Relevance
  David Lo, Shaomei Wang, Lingxiao Jiang
  págs. 677-682
- Resilient User Interface Level Tests
  Sara Shanian, Heidar Pirzadeh
  págs. 683-688
- Studying Task Allocation Decisions of Novice Agile Teams with Data from Agile Project Management Tools
  Jun Lin, Han Yu, Zhiqi Shen, Chunyan Miao
  págs. 689-694
- PiE: Programming in Eliza
  Xiao Liu, Dinghao Wu
  págs. 695-700
- Search-Based Inference of Polynomial Metamorphic Relations
  Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei
  págs. 701-712
- A Dynamic Analysis to Support Object-Sharing Code Refactorings
  Raghavan Komondoor, Girish Maskeri Rama
  págs. 713-724
- Language Fuzzing Using Constraint Logic Programming
  Kyle Dewey, Jared Roesch, Ben Hardekopf
  págs. 725-730
- Tracing Software Build Processes to Uncover License Compliance Inconsistencies
  Daniel M. German, Sander van der Burg, Shane McIntosh, Julius Davies
  págs. 731-742
- Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers
  Samik Basu, Tevfik Bultan
  págs. 743-754
- Towards an Intelligent Domain-Specific Traceability Solution
  Jane Cleland-Huang, Jin Guo, Natawut Monaikul, Cody Plepel
  págs. 755-766
- Automated Requirements Analysis for a Molecular Watchdog Timer
  Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R Lutz, Divita Mathur, Andrew S. Miner
  págs. 767-778
- Formalisation of the Integration of Behavior Trees
  Kushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar
  págs. 779-784
- Automatic Early Defects Detection in Use Case Documents
  Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang
  págs. 785-790
- SymCrash: Selective Recording for Reproducing Crashes
  Yu Cao, Hongyu Zhang, Sun Ding
  págs. 791-802
- Potential Biases in Bug Localization: Do They Matter?
  Pavneet Singh Kochhar, Yuan Tian, David Lo
  págs. 803-814
- MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions
  Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso
  págs. 815-826
- Workspace Updates of Visual Models
  Timo Kehrer, Udo Kelter, Dennis Reuling
  págs. 827-830
- Meta-Model Validation and Verification with MetaBest
  Esther Guerra Sánchez, Juan de Lara Jaramillo, Jesús J. López Fernández
  págs. 831-834
- A Web Based UML Modeling Tool with Touch Screens
  Zhiyi Ma, Chih-Yi Yeh, Huihong He, Hongjie Chen
  págs. 835-838
- SeSAME: Modeling and Analyzing High-Quality Service Compositions
  Svetlana Arifulina, Sven Walther, Matthias Becker, Marie C. Platenius
  págs. 839-842
- MPAnalyzer: A Tool for Finding Unintended Inconsistencies in Program Source Code
  Yoshiki Higo, Shinji Kusumoto
  págs. 843-846
- Firecrow: A tool for Web Application Analysis and Reuse
  Josip Maras, Maja Štula
  págs. 847-850
- HUSACCT: Architecture Compliance Checking with Rich Sets of Module and Rule Types
  Leo Pruijt, Christian Köppe, Jan Martijn van der Werf, Sjaak Brinkkemper
  págs. 851-854
- CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controllers
  Reza Matinnejad, Shiva Nejati, Lionel C. Briand
  págs. 855-858
- 8Cage: Lightweight Fault-Based Test Generation for Simulink
  Dominik Holling, Alexander Pretschner
  págs. 859-862
- PBGT Tool: An Integrated Modeling and Testing Environment for Pattern-Based GUI Testing
  Rodrigo M. L. M. Moreira, Ana C. R. Paiva
  págs. 863-866
- A Tool Chain for Generating the Description Files of Highly Available Software
  Maxime Turenne, Abdelouahed Gherbi
  págs. 867-870
- DupFinder: Integrated Tool Support for Duplicate Bug Report Detection
  Ferdian Thung, Pavneet Singh Kochhar, David Lo
  págs. 871-874
- Determining the Most Probable Root Causes of Run-Time Errors in Simulink Models
  págs. 875-878
- Utilizing Feature Location Techniques for Feature Addition and Feature Enhancement
  Joseph Burke
  págs. 879-882
- AugIR: the conceptual design and evaluation of an augmented interaction room
  Markus Kleffmann
  - Resumen
  - Texto completo
  págs. 883-886
- A Requirements Monitoring Infrastructure for Systems of Systems
  Michael Vierhauser
  págs. 887-890
- Embrace Your Issues: Compassing the Software Engineering Landscape Using Bug Reports
  Markus Borg
  págs. 891-894
- Issues of Automated Software Composition in AI Planning
  Felix Mohr
  págs. 895-898
- A Proposal for Revisiting Coverage Testing Metrics
  Breno Miranda
  págs. 899-902
- Variability-Aware Change Impact Analysis of Multi-Language Product Lines
  Florian Angerer
  págs. 903-906
- Improvement of Applications Stability Through Robust APIs
  Maria Kechagia
  págs. 907-910
- Model-Driven Development of Content Management Systems based on Joomla
  Dennis Priefer
  págs. 911-914

Fundación Dialnet

Acceso de usuarios registrados

Imagen de identificación

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

Opciones de compartir

Opciones de entorno

Sugerencia / Errata

© 2001-2024 Fundación Dialnet · Todos los derechos reservados

Coordinado por: