2,847 papers · page 121 of 143
Soft real-time applications lack a formal methodology for their design optimization. Well-established techniques from hard real-time systems cannot be directly applied to soft real-time applications, without losing key benefits of the soft real-time paradigm. We introduce a stati…
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-level formalism or extracted directly from software using methods such as abstract interpretation. The…
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We performed a lab study in which thirteen developers worked for 3 hours under-standing the design of a 54 KLOC…
Process improvement efforts based on best practices and standards such as the CMMI use appraisal results as input and focus on implementing processes as described in reference models. Since these models are of a general character the conclusions from the assessments could easily …
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUnit which automate part of the process, unit testing remains a time-consuming, resource-intensive, and …
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that the interleaving space is too large to be thoroughly explored. Practical yet effective interleaving cov…
We present CESI, an algorithm that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid inputs are determined by some context free grammar. We introduce symbolic grammars, where the …
One of the key factors influencing project success or failure is project management. Unfortunately, effective management of software projects is not in practice; what is actually being practiced varies significantly from what is advised in the available literature. In order to im…
In this paper, we overview a new approach to comparing execution traces. Such comparison can be useful for purposes such as improving test coverage and profiling system's users. In our approach, traces are compressed into different levels of compaction and are then compared itera…
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation of structurally complex test inputs. Given an imperative predicate that specifies the desired structur…
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics. Such approaches, however, have difficulties in collecting the metrics and constructing mathematical…
A great majority of program paths are found to be infeasible, which in turn make static analysis overly conservative. As static analysis plays a central part in many software engineering activities, knowledge about infeasible program paths can be used to greatly improve the perfo…
This paper analyses the specifics and the tendencies in building the knowledge society as well as the role of the universities in this process. Some European policies and programs dedicated to the new role of the universities in realizing the Lisbon Strategy are analysed as well.…
Software engineering practitioners and researchers continue to face huge challenges in the development, maintenance, and use of software systems. This has been even more prominent with the new paradigm of service oriented computing in which service integrators, developers, and pr…
In software engineering, the use of models and metamodeling approaches (e.g., MDA withMOF/UML) for purposes such as software design or software validation is an established practice. Ontologies constitute domain models formalized using expressive logic languages for class definit…
Capacity in telecommunication systems is highly related to operator revenue. As a vendor of such systems, Ericsson AB is continuously improving its processes for estimating, specifying, tuning, and testing the capacity of delivered systems. In order to systematize process improve…
Queries are convenient abstractions for the discovery of information and services, as they offer content-based information access. In distributed settings, query semantics are well-defined, e.g., they often satisfy ACID transactional properties. In a dynamic network setting, howe…
Software evolution constitutes a crucial phase of the software life-cycle, requiring up to 80% of the total effort. IWPSE, the International Workshop on Principles of Software Evolution brings together researchers and practitioners in a worldwide forum with the aim of iscussing p…
The increasing use of "commercial off-the-shelf"(COTS) components in safety critical scenarios, arises new issues related to the "dependable" use of third-party software in such contexts. The characteristics of these components, designed for a generic use, are such to make unpred…
The domain of our work is focused on the study of the quality attributes of component-based systems and service-based systems. The qualities of a component-based system depend on those ones of the single components. The objective of our work is to support the selection of (COTS a…