ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
Reusing software components (e.g. classes or modules) improves software quality and developer’s productivity. Unfortunately, developers may miss many reusing opportunities since...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputat...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...