Abstract is missing.
- Keynote talk: the logic of information designLuciano Floridi. 1-2 [doi]
- Keynote talk: EasyChairAndrei Voronkov. 3-4 [doi]
- Keynote talk: experiences from developing industrial software systems with long lifecyclesMagnus Larsson. 5-6 [doi]
- Automated analysis of multithreaded programs for performance modelingAlexander Tarvo, Steven P. Reiss. 7-18 [doi]
- Behavioral resource-aware model inferenceTony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun. 19-30 [doi]
- Targeted test input generation using symbolic-concrete backward executionPeter Dinges, Gul A. Agha. 31-36 [doi]
- Discriminating influences among instructions in a dynamic sliceVijay Krishna Palepu, James A. Jones. 37-42 [doi]
- Dompletion: DOM-aware JavaScript code completionKartik Bajaj, Karthik Pattabiraman, Ali Mesbah. 43-54 [doi]
- Continuous test generation: enhancing continuous integration with automated test generationJosé Carlos Medeiros de Campos, Andrea Arcuri, Gordon Fraser, Rui Filipe Lima Maranhão de Abreu. 55-66 [doi]
- Leveraging existing tests in automated test generation for web applicationsAmin Milani Fard, Mehdi MirzaAghaei, Ali Mesbah. 67-78 [doi]
- Automated unit test generation for classes with environment dependenciesAndrea Arcuri, Gordon Fraser, Juan Pablo Galeotti. 79-90 [doi]
- Finding HTML presentation failures using image comparison techniquesSonal Mahajan, William G. J. Halfond. 91-96 [doi]
- Accelerated test execution using GPUsAjitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening. 97-102 [doi]
- Seeking the user interfaceSteven P. Reiss. 103-114 [doi]
- Interrogative-guided re-ranking for question-oriented software text retrievalTing Ye, Bing Xie, Yanzhen Zou, Xiuzhao Chen. 115-120 [doi]
- An empirical study on reducing omission errors in practiceJihun Park, Miryung Kim, Doo-Hwan Bae. 121-126 [doi]
- Fusion fault localizersLucia, David Lo, Xin Xia. 127-138 [doi]
- Automated variability analysis and testing of an E-commerce site.: an experience reportSergio Segura, Ana B. Sánchez, Antonio Ruiz Cortés. 139-150 [doi]
- PrefFinder: getting the right preference in configurable software systemsDongpu Jin, Myra B. Cohen, Xiao Qu, Brian Robinson. 151-162 [doi]
- MiL testing of highly configurable continuous controllers: scalable search using surrogate modelsReza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann. 163-174 [doi]
- Assertion guided abstraction: a cooperative optimization for dynamic partial order reductionMarkus Kusano, Chao Wang. 175-186 [doi]
- Symbolic state validation through runtime dataYueqi Li, Shing-Chi Cheung. 187-198 [doi]
- Verifying self-adaptive applications suffering uncertaintyWenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu. 199-210 [doi]
- Automated synthesis and deployment of cloud applicationsRoberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi. 211-222 [doi]
- Concurrent transformation components using contention context sensorsErik Österlund, Welf Löwe. 223-234 [doi]
- Assigning time budgets to component functions in the design of time-critical automotive systemsErnest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard. 235-246 [doi]
- symMMU: symbolically executed runtime libraries for symbolic memory accessAnthony Romano, Dawson R. Engler. 247-258 [doi]
- Evaluation of string constraint solvers in the context of symbolic executionScott Kausler, Elena Sherman. 259-270 [doi]
- Incremental symbolic execution for automated test suite maintenanceSarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui. 271-276 [doi]
- Program analysis for secure big data processingJulian James Stephen, Savvas Savvides, Russell Seidel, Patrick Th. Eugster. 277-288 [doi]
- Multi-objective optimization in rule-based design space explorationHani Abdeen, Dániel Varró, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, Ákos Horvath. 289-300 [doi]
- Understanding performance stairs: elucidating heuristicsBryan Marker, Don S. Batory, Robert A. van de Geijn. 301-312 [doi]
- Fine-grained and accurate source code differencingJean-Rémy Falleri, Floréal Morandat, Xavier Blanc, Matias Martinez, Martin Monperrus. 313-324 [doi]
- Combining rule-based and information retrieval techniques to assign software change requestsYguaratã Cerqueira Cavalcanti, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 325-330 [doi]
- Recommendation system for software refactoring using innovization and interactive dynamic optimizationMohamed Wiem Mkaouer, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb, Mel Ó Cinnéide. 331-336 [doi]
- Recommending refactorings based on team co-maintenance patternsGabriele Bavota, Sebastiano Panichella, Nikolaos Tsantalis, Massimiliano Di Penta, Rocco Oliveto, Gerardo Canfora. 337-342 [doi]
- Diver: precise dynamic impact analysis using dependence-based trace pruningHaipeng Cai, Raúl Santelices. 343-348 [doi]
- Automating regression verificationDennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich. 349-360 [doi]
- An empirical evaluation and comparison of manual and automated test selectionMilos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov. 361-372 [doi]
- Taming test inputs for separation assuranceDimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman. 373-384 [doi]
- Transferring an automated test generation tool to practice: from pex to fakes and code diggerNikolai Tillmann, Jonathan de Halleux, Tao Xie. 385-396 [doi]
- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutationMark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo. 397-408 [doi]
- Scaling exact multi-objective combinatorial optimization by parallelizationJianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee. 409-420 [doi]
- 42 variability bugs in the linux kernel: a qualitative analysisIago Abal, Claus Brabrand, Andrzej Wasowski. 421-432 [doi]
- Automating the formalization of product comparison matricesGuillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry. 433-444 [doi]
- Tracking load-time configuration optionsMax Lillack, Christian Kästner, Eric Bodden. 445-456 [doi]
- Statistical learning approach for mining API usage mappings for code migrationAnh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 457-468 [doi]
- Compatibility testing using patterns-based trace comparisonVenkatesh Prasad Ranganath, Pradip Vallathol, Pankaj Gupta. 469-478 [doi]
- Personas in the middle: automated support for creating personas as focal points in feature gathering forumsMona Rahimi, Jane Cleland-Huang. 479-484 [doi]
- Constructing adaptive configuration dialogs using crowd dataSaeideh Hamidi, Periklis Andritsos, Sotirios Liaskos. 485-490 [doi]
- Validating ajax applications using a delay-based mutation techniqueYuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden. 491-502 [doi]
- Static, lightweight includes resolution for PHPMark Hills, Paul Klint, Jurgen J. Vinju. 503-514 [doi]
- Information flows as a permission mechanismFeng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric John Lehner, Steven Y. Ko, Lukasz Ziarek. 515-526 [doi]
- Improving the accuracy of oracle verdicts through automated model steeringGregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl. 527-538 [doi]
- Automated domain-specific C verification with mbeddrZaur Molotnikov, Markus Völter, Daniel Ratiu. 539-550 [doi]
- Pattern-based auto-completion of UML modeling activitiesTobias Kuschke, Patrick Mäder. 551-556 [doi]
- Abstraction-aware verifying compiler for yet another MDDNaoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei. 557-562 [doi]
- Docovery: toward generic automatic document recoveryTomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa. 563-574 [doi]
- Exact and approximate probabilistic symbolic execution for nondeterministic programsKasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser. 575-586 [doi]
- Derailer: interactive security analysis for web applicationsJoseph P. Near, Daniel Jackson. 587-598 [doi]
- Tracking down root causes of defects in simulink modelsJohanna Schneider. 599-604 [doi]
- The confidence in our k-tailsHila Cohen, Shahar Maoz. 605-610 [doi]
- Localization of concurrency bugs using shared memory access pairsWenwen Wang, Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew, Xipeng Shen, Xiang Yuan, Jianjun Li, Xiaobing Feng, Yong Guan. 611-622 [doi]
- Towards self-healing smartphone software via automated patchingTanzirul Azim, Iulian Neamtiu, Lisa M. Marvel. 623-628 [doi]
- Minimal strongly unsatisfiable subsets of reactive system specificationsShigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki. 629-634 [doi]
- Droidmarking: resilient software watermarking for impeding android application repackagingChuangang Ren, Kai Chen, Peng Liu. 635-646 [doi]
- From out-place transformation evolution to in-place model patchingAlexander Bergmayr, Javier Troya, Manuel Wimmer. 647-652 [doi]
- Using visual dataflow programming for interactive model comparisonRainer Lutz, Stephan Diehl. 653-664 [doi]
- NeedFeed: taming change notifications by modeling code relevanceRohan Padhye, Senthil Mani, Vibha Singhal Sinha. 665-676 [doi]
- Active code search: incorporating user feedback to improve code search relevanceShaowei Wang, David Lo, Lingxiao Jiang. 677-682 [doi]
- Resilient user interface level testsHeidar Pirzadeh, Sara Shanian. 683-688 [doi]
- Studying task allocation decisions of novice agile teams with data from agile project management toolsJun Lin, Han Yu, Zhiqi Shen, Chunyan Miao. 689-694 [doi]
- PiE: programming in elizaXiao Liu, Dinghao Wu. 695-700 [doi]
- Search-based inference of polynomial metamorphic relationsJie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei. 701-712 [doi]
- A dynamic analysis to support object-sharing code refactoringsGirish Maskeri Rama, Raghavan Komondoor. 713-724 [doi]
- Language fuzzing using constraint logic programmingKyle Dewey, Jared Roesch, Ben Hardekopf. 725-730 [doi]
- Tracing software build processes to uncover license compliance inconsistenciesSander van der Burg, Eelco Dolstra, Shane McIntosh, Julius Davies, Daniel M. Germán, Armijn Hemel. 731-742 [doi]
- Automatic verification of interactions in asynchronous systems with unbounded buffersSamik Basu, Tevfik Bultan. 743-754 [doi]
- Towards an intelligent domain-specific traceability solutionJin Guo 0004, Natawut Monaikul, Cody Plepel, Jane Cleland-Huang. 755-766 [doi]
- Automated requirements analysis for a molecular watchdog timerSamuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner. 767-778 [doi]
- Formalisation of the integration of behavior treesKushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar. 779-784 [doi]
- Automatic early defects detection in use case documentsShuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang. 785-790 [doi]
- SymCrash: selective recording for reproducing crashesYu Cao, Hongyu Zhang, Sun Ding. 791-802 [doi]
- Potential biases in bug localization: do they matter?Pavneet Singh Kochhar, Yuan Tian, David Lo. 803-814 [doi]
- MIMIC: locating and understanding bugs by analyzing mimicked executionsDaniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso. 815-826 [doi]
- Workspace updates of visual modelsTimo Kehrer, Udo Kelter, Dennis Reuling. 827-830 [doi]
- Meta-Model validation and verification with MetaBestJesús J. López-Fernández, Esther Guerra, Juan de Lara. 831-834 [doi]
- A web based UML modeling tool with touch screensZhiyi Ma, Chih-Yi Yeh, Huihong He, Hongjie Chen. 835-838 [doi]
- SeSAME: modeling and analyzing high-quality service compositionsSvetlana Arifulina, Sven Walther, Matthias Becker, Marie Christin Platenius. 839-842 [doi]
- MPAnalyzer: a tool for finding unintended inconsistencies in program source codeYoshiki Higo, Shinji Kusumoto. 843-846 [doi]
- Firecrow: a tool for web application analysis and reusJosip Maras, Maja Stula, Jan Carlson. 847-850 [doi]
- HUSACCT: architecture compliance checking with rich sets of module and rule typesLeo J. Pruijt, Christian Köppe, Jan Martijn van der Werf, Sjaak Brinkkemper. 851-854 [doi]
- CoCoTest: a tool for model-in-the-loop testing of continuous controllersReza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann. 855-858 [doi]
- 8Cage: lightweight fault-based test generation for simulinkDominik Holling, Alexander Pretschner, Matthias Gemmar. 859-862 [doi]
- PBGT tool: an integrated modeling and testing environment for pattern-based GUI testingRodrigo M. L. M. Moreira, Ana C. R. Paiva. 863-866 [doi]
- A tool chain for generating the description files of highly available softwareMaxime Turenne, Ali Kanso, Abdelouahed Gherbi, Samer Razzook. 867-870 [doi]
- DupFinder: integrated tool support for duplicate bug report detectionFerdian Thung, Pavneet Singh Kochhar, David Lo. 871-874 [doi]
- Determining the most probable root causes of run-time errors in simulink modelsJohanna Schneider. 875-878 [doi]
- Utilizing feature location techniques for feature addition and feature enhancementJoseph T. Burke. 879-882 [doi]
- AugIR: the conceptual design and evaluation of an augmented interaction roomMarkus Kleffmann. 883-886 [doi]
- A requirements monitoring infrastructure for systems of systemsMichael Vierhauser. 887-890 [doi]
- Embrace your issues: compassing the software engineering landscape using bug reportsMarkus Borg. 891-894 [doi]
- Issues of automated software composition in AI planningFelix Mohr. 895-898 [doi]
- A proposal for revisiting coverage testing metricsBreno Miranda. 899-902 [doi]
- Variability-aware change impact analysis of multi-language product linesFlorian Angerer. 903-906 [doi]
- Improvement of applications' stability through robust APIsMaria Kechagia. 907-910 [doi]
- Model-driven development of content management systems based on JoomlaDennis Priefer. 911-914 [doi]