default search action
36th ICSE 2014: Hyderabad, India - Companion
- Pankaj Jalote, Lionel C. Briand, André van der Hoek:
36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. ACM 2014, ISBN 978-1-4503-2768-8
Keynote
- James D. Herbsleb
:
Socio-technical coordination (keynote). 1
Panel Session 1
- Jane Cleland-Huang, Daniela E. Damian, Smita Ghaisas:
Ready-set-transfer: exploring the technology transfer readiness of academic research projects (panel). 2-3 - Alex Nederlof, Ali Mesbah
Software engineering for the web: the state of the practice. 4-13
Dependability, Safety, and Reliability
- Deepti Parachuri, A. S. M. Sajeev, Rakesh Shukla:
An empirical study of structural defects in industrial use-cases. 14-23 - Qiang Fu, Jieming Zhu, Wenlu Hu, Jian-Guang Lou, Rui Ding, Qingwei Lin, Dongmei Zhang, Tao Xie:
Where do developers log? an empirical study on logging practices in industry. 24-33 - Lukas Schulte, Hitesh Sajnani, Jacek Czerwonka:
Active files as a measure of software maintainability. 34-43 - Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, Lidong Zhou:
Nondeterminism in MapReduce considered harmful? an empirical study on non-commutative aggregators in MapReduce programs. 44-53
Processes and Agile Development
- Daniel Ståhl, Jan Bosch:
Automated software integration flows in industry: a multiple-case study. 54-63 - Hennie Huijgens
How to build a good practice software project portfolio? 64-73 - Julia Schenk, Lutz Prechelt
Distributed-pair programming can work well and is not just distributed pair-programming. 74-83 - Christoph Tobias Schmidt, Srinivasa Ganesha Venkatesha, Juergen Heymann:
Empirical insights into the perceived benefits of agile software engineering practices: a case study from SAP. 84-92 - Brian Fitzgerald
Evidence-based decision making in lean software project management. 93-102
Panel Session 2
- Tim Menzies, Christian Bird, Thomas Zimmermann:
Analyzing software data: after the gold rush (a goldfish-bowl panel). 103-104 - Will Snipes
Experiences gamifying developer adoption of practices and tools. 105-114
Software Testing and Analysis
- Alois Mayr, Reinhold Plösch, Matthias Saft:
Objective safety compliance checks for source code. 115-124 - Michael Vierhauser
A case study on testing, commissioning, and operation of very-large-scale software systems. 125-134 - Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman:
Assessing model-based testing: an empirical study conducted in industry. 135-144 - Shane McIntosh, Martin Poehlmann, Elmar Jürgens, Audris Mockus
Collecting and leveraging a benchmark of build system clones to aid in quality assessments. 145-154
Formal Development
- Maayan Goldstein, Dany Moshkovich:
Improving software through automatic untangling of cyclic dependencies. 155-164 - Daniel Aceituna, Hyunsook Do, Sudarshan Srinivasan:
A systematic approach to transforming system requirements into model checking specifications. 165-174 - Matthew Bennion, Ibrahim Habli:
A candid industrial evaluation of formal software verification using model checking. 175-184 - Robert L. Nord
Architectural dependency analysis to understand rework costs for safety-critical systems. 185-194
Panel Session 3
- Catello Di Martino, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Geetika Goel, Santonu Sarkar
Characterization of operational failures from a business data processing SaaS platform. 195-204 - Christian Bird, Venkatesh-Prasad Ranganath
Extrinsic influence factors in software reliability: a study of 200, 000 windows machines. 205-214
Configuration and Requirements
- Dongpu Jin, Xiao Qu, Myra B. Cohen, Brian Robinson:
Configurations everywhere: implications for testing and debugging in practice. 215-224 - Salman Hoseini, Abdelwahab Hamou-Lhadj
Software feature location in practice: debugging aircraft simulation systems. 225-234 - Kiran Prakash Sawant, Suman Roy
Deriving requirements model from textual use cases. 235-244 - Shinobu Saito, Yukako Iimura, Kenji Takahashi, Aaron K. Massey, Annie I. Antón:
Tracking requirements evolution by using issue tickets: a case study of a document management and approval system. 245-254
MOOCs in Education and Training
- Armando Fox:
Using MOOCs to reinvigorate software engineering education (keynote). 255 - Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky:
Functional programming for all! scaling a MOOC for students and professionals alike. 256-263
Collaborative Teaching and Training
- Terhi Kilamo, Antti Nieminen, Janne Lautamäki, Timo Aho, Johannes Koskinen, Jarmo Palviainen, Tommi Mikkonen:
Knowledge transfer in collaborative teams: experiences from a two-week code camp. 264-271 - Zhenyu Chen, Bin Luo:
Quasi-crowdsourcing testing for educational projects. 272-275 - Gerald Kotonya
Teaching reuse-driven software engineering through innovative role playing. 276-282 - William Billingsley
Towards a supercollaborative software engineering MOOC. 283-286 - Collin McMillan, Richard Oosterhoff
Teaching students to understand large programs by understanding historical context. 287-290
Industry Needs and Innovative Teaching Methods
- Alex Radermacher, Gursimran S. Walia, Dean Knudson:
Investigating the skill gap between graduating students and industry expectations. 291-300 - John P. Hudepohl, Alpana Dubey, Sylvie Moisy, Jessica Thompson, Hans-Martin Niederer:
Deploying an online software engineering education program in a globally distributed organization. 301-310 - Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Scenario-based programming: reducing the cognitive load, fostering abstract thinking. 311-320 - Reid Holmes, Michelle Craig, Karen L. Reid, Eleni Stroulia:
Lessons learned managing distributed software engineering courses. 321-324
Improving Student Software Projects
- Cécile Péraire, Todd Sedano:
State-based monitoring and goal-driven project steering: field study of the SEMAT essence framework. 325-334 - Stephan Krusche
Introduction of continuous delivery in multi-customer project courses. 335-343 - Megha Mittal, Ashish Sureka:
Process mining software repositories from student projects in an undergraduate software engineering course. 344-353 - Stephen H. Edwards, Zalia Shams:
Comparing test quality measures for assessing student-written tests. 354-363
Agility and Progressive Learning
- Jane Cleland-Huang, Muhammad Ali Babar, Mehdi Mirakhorli:
An inverted classroom experience: engaging students in architectural thinking for agile projects. 364-371 - Hiroshi Igaki, Naoki Fukuyasu, Sachio Saiki, Shinsuke Matsumoto, Shinji Kusumoto:
Quantitative assessment with using ticket driven development for teaching scrum framework. 372-381 - Maria Paasivaara, Ville Heikkilä
Teaching students scrum using LEGO blocks. 382-391 - Derek Rayside:
A compiler project with learning progressions. 392-399
Collaboration and Cloud
- Laura Inozemtseva, Siddharth Subramanian, Reid Holmes:
Integrating software project resources using source code identifiers. 400-403 - Anita Sarma
Development context driven change awareness and analysis framework. 404-407 - Yi Wang, Patrick Wagstrom, Evelyn Duesterwald, David F. Redmiles:
New opportunities for extracting insights from cloud based IDEs. 408-411 - Grace A. Lewis
Cloudlet-based cyber-foraging for mobile systems in resource-constrained edge environments. 412-415 - Mark Shtern, Michael Smit
A runtime cloud efficiency software quality metric. 416-419
Testing and Evolution
- Huai Liu
Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle. 420-423 - Sai Zhang, Congle Zhang:
Software bug localization with markov logic. 424-427 - Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Steering model-based oracles to admit real program behaviors. 428-431 - Cristian Cadar
Shadow symbolic execution for better testing of evolving software. 432-435 - Mark Micallef, Conrad Attard
Leveraging P2P networks to address the test scenario explosion problem. 436-439 - Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
A framework to advise tests using tests. 440-443
Human Inputs in Software Engineering and Adaptation
- Shihong Huang, Emmanuelle Tognoli:
Brainware: synergizing software systems and neural inputs. 444-447 - Takao Nakagawa, Yasutaka Kamei, Hidetake Uwano, Akito Monden
Quantifying programmers' mental workload during program comprehension based on cerebral blood flow measurement: a controlled experiment. 448-451 - Itzel Morales-Ramirez, Matthieu Vergne
Who is the expert? combining intention and knowledge of online discussants in collaborative RE tasks. 452-455 - Cong Chen, Kang Zhang:
Who asked what: integrating crowdsourced FAQs into API documentation. 456-459 - Nelly Bencomo, Amel Belaggoun:
A world full of surprises: bayesian theory of surprise to quantify degrees of uncertainty. 460-463 - Zuohua Ding, Yuan Zhou
Modeling self-adaptive software systems with learning petri nets. 464-467
Learning and Mining
- Katja Kevic, Thomas Fritz:
Automatic search term identification for change tasks. 468-471 - Radhika D. Venkatasubramanyam, Shrinath Gupta:
An automated approach to detect violations with high confidence in incremental code using a learning system. 472-475 - Dehui Du, Mingsong Chen, Xiao Liu
A novel quantitative evaluation approach for software project schedules using statistical model checking. 476-479 - Ameer Armaly, Casey Ferris, Collin McMillan:
Reusable execution replay: execution record and replay for source code reuse. 480-483 - Tony Ohmann, Kevin Thai, Ivan Beschastnikh, Yuriy Brun
Mining precise performance-aware behavioral models from existing instrumentation. 484-487 - Tao Zan, Hugo Pacheco
Writing bidirectional model transformations as intentional updates. 488-491
Bugs and Failures
- Matias Martinez
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. 492-495 - Tobias Roehm, Bernd Bruegge:
Reproducing software failures by exploiting the action history of undo features. 496-499 - Papon Yongpisanpop, Hideaki Hata
Bugarium: 3d interaction for supporting large-scale bug repositories analysis. 500-503 - Fabian Beck
RegViz: visual debugging of regular expressions. 504-507 - Tung Thanh Nguyen
Characterizing defect trends in software support. 508-511 - Davide Falessi, Bill Kidwell, Jane Huffman Hayes, Forrest Shull:
On failure classification: the impact of "getting it wrong". 512-515
Process and Social Aspects
- Rohan Padhye
API as a social glue. 516-519 - Maria Angela Ferrario
Software engineering for 'social good': integrating action research, participatory design, and agile development. 520-523 - Cyrus Omar, Jonathan Aldrich
Collaborative infrastructure for test-driven scientific model validation. 524-527 - Paul Ralph
Lab-based action design research. 528-531 - Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel
Flexible product line engineering with a virtual platform. 532-535 - Titus Barik
Compiler error notifications revisited: an interaction-first approach for helping developers more effectively comprehend and resolve error notifications. 536-539
Automated Programming Support
- Bogdan Dit, Michael Wagner, Shasha Wen, Weilin Wang, Mario Linares Vásquez
ImpactMiner: a tool for change impact analysis. 540-543 - Anh Tuan Nguyen, Tung Thanh Nguyen
Migrating code with statistical machine translation. 544-547 - Pedro Rodrigues, Emil Lupu, Jeff Kramer:
LTSA-PCA: tool support for compositional reliability analysis. 548-551 - Oleksii Kononenko, Olga Baysal, Reid Holmes, Michael W. Godfrey:
DASHboards: enhancing developer situational awareness. 552-555 - Jialiang Xie, Qimu Zheng, Minghui Zhou, Audris Mockus
Product assignment recommender. 556-559 - John L. Singleton, Gary T. Leavens:
Verily: a web framework for creating more reasonable web applications. 560-563 - Manman Chen, Tian Huat Tan, Jun Sun
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. 564-567
Software Understanding for Programmers and Researchers
- Yuan Tian, David Lo
SEWordSim: software-specific word similarity database. 568-571 - Xinyu Wang, David Lo
BOAT: an experimental platform for researchers to comparatively and reproducibly evaluate bug localization techniques. 572-575 - Jonathan Bell, Gail E. Kaiser:
VMVM: unit test virtualization for Java. 576-579 - Youn Kyu Lee, Jae Young Bang, Joshua Garcia, Nenad Medvidovic:
ViVA: a visualization and analysis tool for distributed event-based systems. 580-583 - John Jacobellis, Na Meng, Miryung Kim:
Cookbook: in situ code completion using edit recipes learned from examples. 584-587 - Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews:
Atlas: a new way to explore software, build analysis tools. 588-591 - Lars Heinemann, Benjamin Hummel, Daniela Steidl:
Teamscale: software quality control in real-time. 592-595
Posters
- Chen Lv, Wei Jiang, Yue Liu, Songlin Hu
APISynth: a new graph-based API recommender system. 596-597 - Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun
Shedding light on distributed system executions. 598-599 - Jafar M. Al-Kofahi, Hung Viet Nguyen, Tien N. Nguyen:
Fault localization for build code errors in makefiles. 600-601 - Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag:
Avoiding deadlocks using stalemate and dimmunix. 602-603 - M. Usman Iftikhar, Danny Weyns
Assuring system goals under uncertainty with active formal models of self-adaptation. 604-605 - Licong Zhang, Reinhard Schneider, Alejandro Masrur, Martin Becker, Martin Geier
Timing challenges in automotive software architectures. 606-607 - Alim Ul Gias
An adaptive bayesian approach for URL selection to test performance of large scale web-based systems. 608-609 - Rima Al Ali, Tomás Bures
DEECo: an ecosystem for cyber-physical systems. 610-611 - Ali Bou Nassif
Calibrating use case points. 612-613 - Steffen Becker, Stefan Dziwok, Christopher Gerking
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. 614-615 - Zhiyi Ma, Wei Zhang, Chih-Yi Yeh:
Model-driven development of diverse user interfaces. 616-617 - Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen
Statistical learning of API mappings for language migration. 618-619 - Lei Wang, Ping Wang, Zhen Wang:
Asymmetric software structures in the Linux kernel. 620-621 - Valerie Picardo, Samuel Metson, Rashina Hoda
Towards designing assistive software applications for discrete trial training. 622-623 - Manasvi Jain, Rahul C. P. Raj, Seshubabu Tolety:
An optimized design approach for extending HMI systems with mobile devices. 624-625 - Bilal Amir, Paul Ralph
Proposing a theory of gamification effectiveness. 626-627 - Mo Xia, Guiming Luo, Mian Sun:
Modeling and model checking by modular approach. 628-629 - Zicong Liu, Zhenyu Chen, Chunrong Fang
Hybrid test data generation. 630-631 - Xiao-Yuan Jing, Zhi-Wu Zhang
Software defect prediction based on collaborative representation classification. 632-633
Mature A
- Alegria Baquero:
COASTmed: software architectures for delivering customizable, policy-based differential web services. 634-637 - Matteo Camilli
Formal verification problems in a big data world: towards a mighty synergy. 638-641 - Shauvik Roy Choudhary:
Cross-platform testing and maintenance of web and mobile applications. 642-645
Mature B
- Bogdan Vasilescu
Human aspects, gamification, and social media in collaborative software engineering. 646-649 - Rodrigo Pereira dos Santos
ReuseSEEM: an approach to support the definition, modeling, and analysis of software ecosystems. 650-653 - Laura Moreno:
Summarization of complex software artifacts. 654-657
Initial A
- Monika Gupta:
Nirikshan: process mining software repositories to identify inefficiencies, imperfections, and enhance existing process capabilities. 658-661 - David Maplesden:
Performance analysis of object-oriented software. 662-665 - Eiji Adachi Barbosa:
Improving exception handling with recommendations. 666-669 - Claudio Menghi
Verifying incomplete and evolving specifications. 670-673 - Srdan Krstic
Quantitative properties of software systems: specification, verification, and synthesis. 674-677
Initial B
- Alberto Goffi:
Automatic generation of cost-effective test oracles. 678-681 - Mattia Vivanti:
Dynamic data-flow testing. 682-685 - Luca Ponzanelli
Holistic recommender systems for software engineering. 686-689 - Davide Fucci
Understanding the dynamics of test-driven development. 690-693 - Marcelo Schots
On the use of visualization for supporting software reuse. 694-697
Initial C
- Andrea Mattavelli:
Understanding the redundancy of software systems. 698-701 - Damodaram Kamma:
Study of task processes for improving programmer productivity. 702-705 - Senthil Mani:
Improving enterprise software maintenance efficiency through mining software repositories in an industry context. 706-709 - Bruno Barbieri Pontes Cafeo:
Enhancing feature interfaces for supporting software product line maintenance. 710-713 - Mario Linares Vásquez
Supporting evolution and maintenance of Android apps. 714-717
ACM Student Research Competition
- Abhishek Bichhawat:
Exception handling for dynamic information flow control. 718-720 - Alexander Tarvo:
Automatic performance modeling of multithreaded programs. 721-723 - Alessandro Maria Rizzi:
Incremental reachability checking of KernelC programs using matching logic. 724-726 - Asankhaya Sharma:
Exploiting undefined behaviors for efficient symbolic execution. 727-729 - Alejandro Infante:
Identifying caching opportunities, effortlessly. 730-732 - Alex Shaw:
Program transformations to fix C buffer overflows. 733-735 - Amiangshu Bosu:
Characteristics of the vulnerable code changes identified through peer code review. 736-738 - Israa Alqassem:
Privacy and security requirements framework for the internet of things (IoT). 739-741
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-12-15 01:16 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: