ICSE 2012 – Author Index |
Contents -
Abstracts -
Authors
Online Calendar - iCal File |
Avancini, Andrea |
ICSE '12-DOCTORAL: "Security Testing of Web Applications: ..."
Security Testing of Web Applications: A Research Plan
Andrea Avancini (Fondazione Bruno Kessler, Italy) Cross-site scripting (XSS) vulnerabilities are specific flaws related to web applications, in which missing input validation can be exploited by attackers to inject malicious code into the application under attack. To guarantee high quality of web applications in terms of security, we propose a structured approach, inspired by software testing. In this paper we present our research plan and ongoing work to use security testing to address problems of potentially attackable code. Static analysis is used to reveal candidate vulnerabilities as a set of execution conditions that could lead to an attack. We then resort to automatic test case generation to obtain those input values that make the application execution satisfy such conditions. Eventually, we propose a security oracle to assess whether such test cases are instances of successful attacks. @InProceedings{ICSE12p1490, author = {Andrea Avancini}, title = {Security Testing of Web Applications: A Research Plan}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1490--1493}, doi = {}, year = {2012}, } |
|
Bailey, Christopher |
ICSE '12-DOCTORAL: "Application of Self-Adaptive ..."
Application of Self-Adaptive Techniques to Federated Authorization Models
Christopher Bailey (University of Kent, UK) Authorization infrastructures are an integral part of any network where resources need to be protected. As organisations start to federate access to their resources, authorization infrastructures become increasingly difficult to manage, to a point where relying only on human resources becomes unfeasible. In our work, we propose a Self-Adaptive Authorization Framework (SAAF) that is capable of monitoring the usage of resources, and controlling access to resources through the manipulation of authorization assets (e.g., authorization policies, access rights and sessions), due to the identification of abnormal usage. As part of this work, we explore the use of models for facilitating the autonomic management of federated authorization infrastructures by 1) classifying access behaviour exhibited by users, 2) modelling authorization assets, including usage, for identifying abnormal behaviour, and 3) managing authorization through the adaptation and reflection of modelled authorization assets. SAAF will be evaluated by integrating it into an existing authorization infrastructure that would allow the simulation of abnormal usage scenarios. @InProceedings{ICSE12p1494, author = {Christopher Bailey}, title = {Application of Self-Adaptive Techniques to Federated Authorization Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1494--1497}, doi = {}, year = {2012}, } |
|
Bavota, Gabriele |
ICSE '12-DOCTORAL: "Using Structural and Semantic ..."
Using Structural and Semantic Information to Support Software Refactoring
Gabriele Bavota (University of Salerno, Italy) In the software life cycle the internal structure of the system undergoes continuous modifications. These changes push away the source code from its original design, often reducing its quality. In such cases refactoring techniques can be applied to improve the design quality of the system. Approaches existing in literature mainly exploit structural relationships present in the source code, e.g., method calls, to support the software engineer in identifying refactoring solutions. However, also semantic information is embedded in the source code by the developers, e.g., the terms used in the comments. This research investigates about the usefulness of combining structural and semantic information to support software refactoring. @InProceedings{ICSE12p1478, author = {Gabriele Bavota}, title = {Using Structural and Semantic Information to Support Software Refactoring}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1478--1481}, doi = {}, year = {2012}, } |
|
Blincoe, Kelly |
ICSE '12-DOCTORAL: "Timely and Efficient Facilitation ..."
Timely and Efficient Facilitation of Coordination of Software Developers’ Activities
Kelly Blincoe (Drexel University, USA) Work dependencies often exist between the developers of a software project. These dependencies frequently result in a need for coordination between the involved developers. However, developers are not always aware of these Coordination Requirements. Current methods which detect the need to coordinate rely on information which is available only after development work has been completed. This does not enable developers to act on their coordination needs. Furthermore, even if developers were aware of all Coordination Requirements, they likely would be overwhelmed by the large number and would not be able to effectively follow up directly with the developers involved in each dependent task. I will investigate a more timely method to determine Coordination Requirements in a software development team as they emerge and how to focus the developers’ attention on the most crucial ones. Further, I hope to prove that direct inter-personal communication is not always necessary to fulfill these requirements and gain insight on how we can develop tools that encourage cheaper forms of coordination. @InProceedings{ICSE12p1538, author = {Kelly Blincoe}, title = {Timely and Efficient Facilitation of Coordination of Software Developers’ Activities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1538--1541}, doi = {}, year = {2012}, } |
|
Böhme, Marcel |
ICSE '12-DOCTORAL: "Software Regression as Change ..."
Software Regression as Change of Input Partitioning
Marcel Böhme (National University of Singapore, Singapore) @InProceedings{ICSE12p1522, author = {Marcel Böhme}, title = {Software Regression as Change of Input Partitioning}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1522--1521}, doi = {}, year = {2012}, } |
|
Chioaşcă, Erol-Valeriu |
ICSE '12-DOCTORAL: "Using Machine Learning to ..."
Using Machine Learning to Enhance Automated Requirements Model Transformation
Erol-Valeriu Chioaşcă (University of Manchester, UK) Textual specification documents do not represent a suitable starting point for software development. This issue is due to the inherent problems of natural language such as ambiguity, impreciseness and incompleteness. In order to overcome these shortcomings, experts derive analysis models such as requirements models. However, these models are difficult and costly to create manually. Furthermore, the level of abstraction of the models is too low, thus hindering the automated transformation process. We propose a novel approach which uses high abstraction requirements models in the form of Object System Models (OSMs) as targets for the transformation of natural language specifications in conjunction with appropriate text mining and machine learning techniques. OSMs allow the interpretation of the textual specification based on a small set of facts and provide structural and behavioral information. This approach will allow both (1) the enhancement of minimal specifications, and in the case of comprehensive specifications (2) the determination of the most suitable structure of reusable requirements. @InProceedings{ICSE12p1486, author = {Erol-Valeriu Chioaşcă}, title = {Using Machine Learning to Enhance Automated Requirements Model Transformation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1486--1489}, doi = {}, year = {2012}, } |
|
Colanzi, Thelma Elita |
ICSE '12-DOCTORAL: "Search Based Design of Software ..."
Search Based Design of Software Product Lines Architectures
Thelma Elita Colanzi (Federal University of Paraná, Brazil) The Product-Line Architecture (PLA) is the main artifact of a Software Product Line (SPL). However, obtaining a modular, extensible and reusable PLA is a people-intensive and non-trivial task, related to different and possible conflicting factors. Hence, the PLA design is a hard problem and to find the best architecture can be formulated as an optimization problem with many factors. Similar Software Engineering problems have been efficiently solved by search-based algorithms in the field known as Search-based Software Engineering. The existing approaches used to optimize software architecture are not suitable since they do not encompass specific characteristics of SPL. To easy the SPL development and to automate the PLA design this work introduces a multi-objective optimization approach to the PLA design. The approach is now being implemented by using evolutionary algorithms. Empirical studies will be performed to validate the neighborhood operators, SPL measures and search algorithms chosen. Finally, we intend to compare the results of the proposed approach with PLAs designed by human architects. @InProceedings{ICSE12p1506, author = {Thelma Elita Colanzi}, title = {Search Based Design of Software Product Lines Architectures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1506--1509}, doi = {}, year = {2012}, } |
|
Dilshener, Tezcan |
ICSE '12-DOCTORAL: "Improving Information Retrieval-Based ..."
Improving Information Retrieval-Based Concept Location Using Contextual Relationships
Tezcan Dilshener (Open University, UK) For software engineers to find all the relevant program elements implementing a business concept, existing techniques based on information retrieval (IR) fall short in providing adequate solutions. Such techniques usually only consider the conceptual relations based on lexical similarities during concept mapping. However, it is also fundamental to consider the contextual relationships existing within an application’s business domain to aid in concept location. As an example, this paper proposes to use domain specific ontological relations during concept mapping and location activities when implementing business requirements. @InProceedings{ICSE12p1498, author = {Tezcan Dilshener}, title = {Improving Information Retrieval-Based Concept Location Using Contextual Relationships}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1498--1501}, doi = {}, year = {2012}, } |
|
D'Ippolito, Nicolás |
ICSE '12-DOCTORAL: "Synthesis of Event-Based Controllers: ..."
Synthesis of Event-Based Controllers: A Software Engineering Challenge
Nicolás D'Ippolito (Imperial College London, UK) Existing software engineering techniques for automatic synthesis of event-based controllers have various limitations. In the context of the world/machine approach such limitations can be seen as restrictions in the expressiveness of the controller goals and domain model specifications or in the relation between the controllable and monitorable actions. In this thesis we aim to provide techniques that overcome such limitations, e.g. supporting more expressive goal specifications, distinguishing controllable from monitorable actions or guaranteeing achievement of the desired goals, among others. Hence, improving the state of the art in the synthesis of event-based controllers. Moreover, we plan to provide efficient tools supporting the developed techniques and evaluate them by modelling known case studies from the software engineering literature. Ultimately, showing that by allowing more expressiveness of controller goals and domain model specifications, and explicitly distinguishing controllable and monitorable actions such case studies can be more accurately modelled and solutions guaranteeing satisfaction of the goals can be achieved. @InProceedings{ICSE12p1546, author = {Nicolás D'Ippolito}, title = {Synthesis of Event-Based Controllers: A Software Engineering Challenge}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1546--1549}, doi = {}, year = {2012}, } |
|
Elyasov, Alexander |
ICSE '12-DOCTORAL: "Log-Based Testing ..."
Log-Based Testing
Alexander Elyasov (Utrecht University, Netherlands) This thesis presents an ongoing research on using logs for software testing. We propose a complex and generic logging and diagnosis framework, that can be efficiently used for continuous testing of future Internet applications. To simplify the diagnosis of logs we suggest to reduce its size by means of rewriting. @InProceedings{ICSE12p1590, author = {Alexander Elyasov}, title = {Log-Based Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1590--1593}, doi = {}, year = {2012}, } |
|
Faghih, Fathiyeh |
ICSE '12-DOCTORAL: "Model Translations among Big-Step ..."
Model Translations among Big-Step Modeling Languages
Fathiyeh Faghih (University of Waterloo, Canada) Model Driven Engineering (MDE) is a progressive area that tries to fill the gap between problem definition and software development. There are many modeling languages proposed for use in MDE. A challenge is how to provide automatic analysis for these models without having to create new analyzers for each different language. In this research, we tackle this problem for a family of modeling languages using a semantically configurable model translation framework. @InProceedings{ICSE12p1554, author = {Fathiyeh Faghih}, title = {Model Translations among Big-Step Modeling Languages}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1554--1557}, doi = {}, year = {2012}, } |
|
Ghardallou, Wided |
ICSE '12-DOCTORAL: "Using Invariant Relations ..."
Using Invariant Relations in the Termination Analysis of While Loops
Wided Ghardallou (University of Tunis El Manar, Tunisia) Proving program termination plays an important role in ensuring reliability of software systems. Many researchers have lent much attention to this open long-standing problem, most of them were interested in proving that iterative programs terminate under a given input. In this paper, we present a method to solve a more interesting and challenging problem, namely, the generation of the termination condition of while loops i.e. condition over initial states under which a loop terminates normally. To this effect, we use a concept introduced by Mili et al., viz. invariant relation. @InProceedings{ICSE12p1518, author = {Wided Ghardallou}, title = {Using Invariant Relations in the Termination Analysis of While Loops}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1518--1521}, doi = {}, year = {2012}, } |
|
Guzzi, Anja |
ICSE '12-DOCTORAL: "Documenting and Sharing Knowledge ..."
Documenting and Sharing Knowledge about Code
Anja Guzzi (TU Delft, Netherlands) Software engineers spend a considerable amount of time on program comprehension. Current research has primarily focused on assisting the developer trying to build up his understanding of the code. This knowledge remains only in the mind of the developer and, as time elapses, often “disappears”. In this research, we shift the focus to the developer who is using her Integrated Development Environment (IDE) for writing, modifying, or reading the code, and who actually understands the code she is working with. The objective of this PhD research is to seek ways to support this developer to document and share her knowledge with the rest of the team. In particular, we investigate the full potential of micro-blogging integrated into the IDE for addressing the program comprehension problem. @InProceedings{ICSE12p1534, author = {Anja Guzzi}, title = {Documenting and Sharing Knowledge about Code}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1534--1537}, doi = {}, year = {2012}, } |
|
Imtiaz, Salma |
ICSE '12-DOCTORAL: "Architectural Task Allocation ..."
Architectural Task Allocation in Distributed Environment: A Traceability Perspective
Salma Imtiaz (International Islamic University, Pakistan) Task allocation in distributed development is a challenging task due to intricate dependencies between distributed sites/teams and prior need of multifaceted information. Literature performs task allocation between distributed sites on limited criteria irrespective of the communication and coordination needs of the people. Conway’s law relates product architecture with the communication and coordination needs of the people. Product architecture consists of multiple views based on different perspectives. Task allocation needs information about different architectural views and their interrelationships. Task allocation is also dependent on other factors not depicted in product architecture such as temporal, knowledge and cultural dependencies between distributed sites mentioned as external factors in the research. A well-conceived task allocation strategy will reduce communication and coordination dependency between sites/teams resulting in reduced time delay and smooth distributed development. The research aims to develop and validate a task allocation strategy based on information of system architecture for distributed environment. The strategy would consider all important factors during task allocation resulting in reduced communication and coordination overhead and time delay. @InProceedings{ICSE12p1514, author = {Salma Imtiaz}, title = {Architectural Task Allocation in Distributed Environment: A Traceability Perspective}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1514--1517}, doi = {}, year = {2012}, } |
|
Jaafar, Fehmi |
ICSE '12-DOCTORAL: "On the Analysis of Evolution ..."
On the Analysis of Evolution of Software Artefacts and Programs
Fehmi Jaafar (University of Montreal, Canada) The literature describes several approaches to identify the artefacts of programs that evolve together to reveal the (hidden) dependencies among these artefacts and to infer and describe their evolution trends. We propose the use of biological methods to group artefacts, to detect co-evolution among them, and to construct their phylogenic trees to express their evolution trends. First, we introduced the novel concepts of macro co-changes (MCCs), i.e., of artefacts that co-change within a large time interval and of dephase macro co-changes (DMCCs), i.e., macro co-changes that always happen with the same shifts in time. We developped an approach, Macocha, to identify these new patterns of artefacts co-evolution in large programs. Now, we are analysing the evolution of classes playing roles in design pattern and–or anti-patterns. In parallel to previous work, we are detecting what classes are in macro co-change or in dephase macro co-change with the design motifs. Results trend to show that classes plying roles in design motifs have specifics evolution trends. Finally, we are implementing an approach, Profilo, to achieve the analysis of the evolution of artefacts and versions of large object-oriented programs. Profilo create a phylogenic tree of different versions of program that describes versions evolution and the relation among versions and programs. We will also evaluate the usefulness of our tools using lab and field studies. @InProceedings{ICSE12p1562, author = {Fehmi Jaafar}, title = {On the Analysis of Evolution of Software Artefacts and Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1562--1565}, doi = {}, year = {2012}, } |
|
Kalumbilo, Monde |
ICSE '12-DOCTORAL: "Effective Specification of ..."
Effective Specification of Decision Rights and Accountabilities for Better Performing Software Engineering Projects
Monde Kalumbilo (University College London, UK) A governance system for a software project involves the distribution and management of decision rights. Decision rights, are a central governance concept. Decision rights grant authority to make decisions and be held accountable for decision outcomes. Though prior research indicates that the exercise and degree of ownership of decision rights has an impact on software project performance, not much attention has been devoted toward understanding the underlying distribution of decision rights within software projects, particularly in terms of what decisions must be made, who should make these decisions and what constitutes an effective distribution of decision rights. In this paper, a research agenda to reveal such knowledge is presented. This report represents the first output of our work in this area. @InProceedings{ICSE12p1502, author = {Monde Kalumbilo}, title = {Effective Specification of Decision Rights and Accountabilities for Better Performing Software Engineering Projects}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1502--1505}, doi = {}, year = {2012}, } |
|
Khoshnevis, Sedigheh |
ICSE '12-DOCTORAL: "An Approach to Variability ..."
An Approach to Variability Management in Service-Oriented Product Lines
Sedigheh Khoshnevis (Shahid Beheshti University G.C., Iran) Service-Oriented product lines (SOPLs) are dynamic software product lines, in which, the products are developed based on services and service-oriented architecture. Although there are similarities between components and services, there are important differences so that we cannot use component-based product line engineering methods and techniques for SOPL engineering. These differences emerge from the fact that, services can be discovered as black box elements from external repositories. Moreover, services can be dynamically bound and are business-aligned. Therefore, analyzing the conformance of discovered external services with the variability of services in the SOPL –which must be aligned to the variable business needs-is necessary. Variability must be managed, that is, it must be represented (modeled), used (instantiated and capable of conformance checking) and maintained (evolved) over time. Feature Models are insufficient for modeling variability in SOPL, because, services cannot be simply mapped to one or more features, and identification of the mapping depends on knowing the detailed implementation of the services. This research aims at providing an approach to managing the variability in SOPLs so that external services can be involved in the SOPL engineering. This paper presents an overview of the proposal. @InProceedings{ICSE12p1482, author = {Sedigheh Khoshnevis}, title = {An Approach to Variability Management in Service-Oriented Product Lines}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1482--1485}, doi = {}, year = {2012}, } |
|
Mayerhofer, Tanja |
ICSE '12-DOCTORAL: "Testing and Debugging UML ..."
Testing and Debugging UML Models Based on fUML
Tanja Mayerhofer (Vienna University of Technology, Austria) Model-driven development, which has recently gained momentum in academia as well as in industry, changed the software engineering process significantly from being code-centric to being model-centric. Models are considered as the key artifacts and as a result the success of the whole software development process relies on these models and their quality. Consequently, there is an urgent need for adequate methods to ensure high quality of models. Model execution can serve as the crucial basis for such methods by enabling to automatically test and debug models. Therefore, lessons learned from testing and debugging of code may serve as a valuable source of inspiration. However, the peculiarities of models in comparison to code, such as multiple views and different abstraction levels, impede the direct adoption of existing methods for models. Thus, we claim that the currently available tool support for model testing and debugging is still insufficient because these peculiarities are not adequately addressed. In this work, we aim at tackling these shortcomings by proposing a novel model execution environment based on fUML, which enables to efficiently test and debug UML models. @InProceedings{ICSE12p1578, author = {Tanja Mayerhofer}, title = {Testing and Debugging UML Models Based on fUML}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1578--1581}, doi = {}, year = {2012}, } |
|
Monteiro, Pedro |
ICSE '12-DOCTORAL: "HARPPIE: Hyper Algorithmic ..."
HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors
Pedro Monteiro (Universidade Nova de Lisboa, Portugal) Over the last few years, Parallelism has been gaining increasing importance and multicore processing is now common. Massification of parallelism is driving research and development of novel techniques to overcome current limits of Parallel Computing. However, the scope of parallelization research focuses mainly on ever-increasing performance and much still remains to be accomplished regarding improving productivity in the development of parallel software. This PhD research aims to develop methods and tools to dilute parallel programming complexity and enable non-expert programmer to fully benefit from a new generation of parallelism-driven programming platforms. Although much work remains to be done to reduce the skill requirements for parallel programming to become within reach of medium-skill programming workforces, it is our belief that this research will help bridge that gap. @InProceedings{ICSE12p1558, author = {Pedro Monteiro}, title = {HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1558--1561}, doi = {}, year = {2012}, } |
|
Motta, Alfredo |
ICSE '12-DOCTORAL: "Towards the Verification of ..."
Towards the Verification of Multi-diagram UML Models
Alfredo Motta (Politecnico di Milano, Italy) UML is a general-purpose modeling language that offers a heterogeneous set of diagrams to describe the different views of a software system. While there seems to be a general consensus on the semantics of some individual diagrams, the composite semantics of the different views is still an open problem. During my PhD I am considering a significant and consistent set of UML diagrams, where timed-related properties can be modeled carefully, and I am ascribing them with a formal semantics based on metric temporal logic. The use of logic is aimed to help capture the composite semantics of the different views efficiently. The result is then used to feed a bounded model/satisfiability checker to allow users to verify these systems, even from the initial phases of the design. The final goal is to realize an advanced modeling framework where users can exploit both a well-known modeling notation and advanced verification capabilities seamlessly. @InProceedings{ICSE12p1530, author = {Alfredo Motta}, title = {Towards the Verification of Multi-diagram UML Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1530--1533}, doi = {}, year = {2012}, } |
|
Ressin, Malte |
ICSE '12-DOCTORAL: "Empirically Researching Development ..."
Empirically Researching Development of International Software
Malte Ressin (University of West London, UK) Software localization is an important process for international acceptance of software products. However, software development and localization does not always come together without friction. In our empirical software engineering research, we examine the interplay of software development and software localization by gathering and analyzing qualitative and quantitative data from professionals in relevant roles. Our aim is to co-validate issues and inform practice about the development of international software. @InProceedings{ICSE12p1550, author = {Malte Ressin}, title = {Empirically Researching Development of International Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1550--1553}, doi = {}, year = {2012}, } |
|
Rodes, Benjamin |
ICSE '12-DOCTORAL: "Stack Layout Transformation: ..."
Stack Layout Transformation: Towards Diversity for Securing Binary Programs
Benjamin Rodes (University of Virginia, USA) Despite protracted efforts by both researchers and practitioners, security vulnerabilities remain in modern software. Artificial diversity is an effective defense against many types of attack, and one form, address-space randomization, has been widely applied. Present artificial diversity implementations are either coarse-grained or require source code. Because of the widespread use of software of unknown provenance, e.g., libraries, where no source code is provided or available, building diversity into the source code is not always possible. I investigate an approach to stack layout transformation that operates on x86 binary programs, which would allow users to obfuscate vulnerabilities and increase their confidence in the software’s dependability. The proposed approach is speculative: the stack frame layout for a function is inferred from the binary and assessed by executing the transformed program. Upon assessment failure, the inferred layout is refined in hopes to better reflect the actual function layout. @InProceedings{ICSE12p1542, author = {Benjamin Rodes}, title = {Stack Layout Transformation: Towards Diversity for Securing Binary Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1542--1545}, doi = {}, year = {2012}, } |
|
Schuchardt, Volker |
ICSE '12-DOCTORAL: "Moving Mobile Applications ..."
Moving Mobile Applications between Mobile Devices Seamlessly
Volker Schuchardt (University of Duisburg-Essen, Germany) Users prefer using multiple mobile devices interchangeably by switching between the devices. A solution to this requirement is the migration of applications between mobile devices at runtime. In our vision to move the application from a device A to a device B, instead of synchronizing just the application's data, a simple swiping gesture can be used. Afterwards the user is able to use the same application including its current state on device B. To achieve this, we plan to put the running application on the device A into a paused state, take a snapshot afterwards, move the application to the device B by using a middleware on both devices, extract the snapshot on device B and finally resume it on device B from its paused state. The outcome of the research will be a framework and either a kernel module or an API to migrate mobile applications. @InProceedings{ICSE12p1594, author = {Volker Schuchardt}, title = {Moving Mobile Applications between Mobile Devices Seamlessly}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1594--1597}, doi = {}, year = {2012}, } |
|
Serrano Zanetti, Marcelo |
ICSE '12-DOCTORAL: "The Co-evolution of Socio-technical ..."
The Co-evolution of Socio-technical Structures in Sustainable Software Development: Lessons from the Open Source Software Communities
Marcelo Serrano Zanetti (ETH Zurich, Switzerland) Software development depends on many factors, including technical, human and social aspects. Due to the complexity of this dependence, a unifying framework must be defined and for this purpose we adopt the complex networks methodology. We use a data-driven approach based on a large collection of open source software projects extracted from online project development platforms. The preliminary results presented in this article reveal that the network perspective yields key insights into the sustainability of software development. @InProceedings{ICSE12p1586, author = {Marcelo Serrano Zanetti}, title = {The Co-evolution of Socio-technical Structures in Sustainable Software Development: Lessons from the Open Source Software Communities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1586--1589}, doi = {}, year = {2012}, } |
|
Shang, Weiyi |
ICSE '12-DOCTORAL: "Bridging the Divide between ..."
Bridging the Divide between Software Developers and Operators Using Logs
Weiyi Shang (Queen's University, Canada) There is a growing gap between the software development and operation worlds. Software developers rarely divulge development knowledge about the software to operators, while operators rarely communicate field knowledge to developers. To improve the quality and reduce the operational cost of large-scale software systems, bridging the gap between these two worlds is essential. This thesis proposes the use of logs as mechanism to bridge the gap between these two worlds. Logs are messages generated from statements inserted by developers in the source code and are often used by operators for monitoring the field operation of a system. However, the rich knowledge in logs has not yet been fully used because of their non-structured nature, their large scale, and the use of the ad hoc log analysis techniques. Through case studies on large commercial and open source systems, we plan to demonstrate the value of logs as a tool to support developers and operators. @InProceedings{ICSE12p1582, author = {Weiyi Shang}, title = {Bridging the Divide between Software Developers and Operators Using Logs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1582--1585}, doi = {}, year = {2012}, } |
|
Sheth, Swapneel |
ICSE '12-DOCTORAL: "Societal Computing ..."
Societal Computing
Swapneel Sheth (Columbia University, USA) Social Computing research focuses on online social behavior and using artifacts derived from it for providing recommendations and other useful community knowledge. Unfortunately, some of that behavior and knowledge incur societal costs, particularly with regards to Privacy, which is viewed quite differently by different populations as well as regulated differently in different locales. But clever technical solutions to those challenges may impose additional societal costs, e.g., by consuming substantial resources at odds with Green Computing, another major area of societal concern. We propose a new crosscutting research area, Societal Computing, that focuses on the technical tradeoffs among computational models and application domains that raise significant societal issues. This dissertation, advised by Prof. Gail Kaiser, will focus on privacy concerns in the context of Societal Computing and will aim to address research topics such as design patterns and architectures for privacy tradeoffs, better understanding of users' privacy requirements so that tradeoffs with other areas such as green computing can be dealt with in a more effective manner, and better visualization techniques for making privacy and its tradeoffs more understandable. @InProceedings{ICSE12p1566, author = {Swapneel Sheth}, title = {Societal Computing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1566--1569}, doi = {}, year = {2012}, } |
|
Steele, Panayiotis |
ICSE '12-DOCTORAL: "Certification-Based Development ..."
Certification-Based Development of Critical Systems
Panayiotis Steele (University of Virginia, USA) Safety-critical systems certification is a complex endeavor. Regulating agencies are moving to goal-based standards in an effort to remedy significant problems of prescriptive standards. However, goal-based standards introduce new difficulties into the development and certification processes. In this work I introduce Certification-Based Development, or CBD. CBD is a process framework designed to mitigate these difficulties by meeting the needs of a specific certifying agency with regard to a specific system. @InProceedings{ICSE12p1574, author = {Panayiotis Steele}, title = {Certification-Based Development of Critical Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1574--1577}, doi = {}, year = {2012}, } |
|
Stolee, Kathryn T. |
ICSE '12-DOCTORAL: "Finding Suitable Programs: ..."
Finding Suitable Programs: Semantic Search with Incomplete and Lightweight Specifications
Kathryn T. Stolee (University of Nebraska-Lincoln, USA) Finding suitable code for reuse is a common task for programmers. Two general approaches dominate the code search literature: syntactic and semantic. While queries for syntactic search are easy to compose, the results are often vague or irrelevant. On the other hand, a semantic search may return relevant results, but current techniques require developers to write specifications by hand, are costly as potentially matching code need to be executed to verify congruence with the specifications, or only return exact matches. In this work, we propose an approach for semantic search in which programmers specify lightweight, incomplete specifications and an SMT solver automatically identifies programs from a repository, encoded as constraints, that match the specifications. The repository of programs is automatically encoded offline so the search for matching programs is efficient. The program encodings cover various levels of abstraction to enable partial matches when no or few exact matches exists. We instantiate this approach on a subset of the Yahoo! Pipes mashup language, and plan to extend our techniques to more traditional programming languages as the research progresses. @InProceedings{ICSE12p1570, author = {Kathryn T. Stolee}, title = {Finding Suitable Programs: Semantic Search with Incomplete and Lightweight Specifications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1570--1573}, doi = {}, year = {2012}, } |
|
Tamburri, Damian A. |
ICSE '12-DOCTORAL: "Going Global with Agile Service ..."
Going Global with Agile Service Networks
Damian A. Tamburri (VU University Amsterdam, Netherlands) ASNs are emergent networks of service-based applications (nodes) which collaborate through agile (i.e. adaptable) transactions. GSE comprises the management of project teams distanced in both space and time, collaborating in the same development effort. The GSE condition poses challenges both technical (e.g. geolocalization of resources, information continuity between timezones, etc.) and social (e.g. collaboration between different cultures, fear of competition, etc.). ASNs can be used to build an adaptable social network (ASN_GSE) supporting the collaborations (edges of ASN_GSE ) of GSE teams (nodes of ASN_GSE). @InProceedings{ICSE12p1474, author = {Damian A. Tamburri}, title = {Going Global with Agile Service Networks}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1474--1477}, doi = {}, year = {2012}, } |
|
Wen, Wanzhi |
ICSE '12-DOCTORAL: "Software Fault Localization ..."
Software Fault Localization Based on Program Slicing Spectrum
Wanzhi Wen (Southeast University, China; Chinese Academy of Sciences, China) During software development and maintenance stages, programmers have to frequently debug the software. One of the most difficult and complex tasks in the debugging activity is software fault localization. A commonly-used method to fix software fault is computing suspiciousness of program elements according to failed test executions and passed test executions. However, this technique does not give full consideration to dependences between program elements, thus its capacity for efficient fault localization is limited. Our research intends to introduce program slicing technique and statistical method which extracts dependencies between program elements and refines execution history, then builds program slicing spectra to rank suspicious elements by a statistical metric. We expect that our method will contribute directly to the improvement of the effectiveness and the accuracy of software fault localization and reduce the software development and maintenance effort and cost. @InProceedings{ICSE12p1510, author = {Wanzhi Wen}, title = {Software Fault Localization Based on Program Slicing Spectrum}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1510--1513}, doi = {}, year = {2012}, } |
|
Westermann, Dennis |
ICSE '12-DOCTORAL: "A Generic Methodology to Derive ..."
A Generic Methodology to Derive Domain-Specific Performance Feedback for Developers
Dennis Westermann (SAP Research, Germany) The performance of a system directly influences business critical metrics like total cost of ownership (TCO) and user satisfaction. However, building responsive, resource efficient and scalable applications is a challenging task. Thus, software engineering approaches are required to support software architects and developers in meeting these challenges. In this PhD research abstract, we propose a novel performance evaluation process applied during the software development phase. The goal is to increase the performance awareness of developers by providing feedback with respect to performance properties that is integrated in the every day development process. The feedback is based on domain-specific prediction functions derived by a generic methodology that executes a series of systematic measurements. We apply and validate the approach in different development scenarios at SAP. @InProceedings{ICSE12p1526, author = {Dennis Westermann}, title = {A Generic Methodology to Derive Domain-Specific Performance Feedback for Developers}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1526--1529}, doi = {}, year = {2012}, } |
31 authors
proc time: 0.29