Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Michal M. Sówka

dblp:32/815 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 92% Requirements engineering and software design · 8%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › specification-based testing
contract-based testing
0.112006
Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006
Software testing
specification-based testing
0.112006
Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006
Software testing
test generation
0.112006
Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006
Software testing
component-based software testing
0.012006
Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006
Requirements engineering and software design › specification
software contracts
0.012006
Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006

Methods — techniques the papers use, named apart from their topics

test generation · 0.1specification-based testing · 0.1
YearPublicationVenuePosition
2006 Automated, contract-based user testing of commercial-off-the-shelf components
abstract
Commercial-off-the-Shelf (COTS) components provide a means to construct software (component-based) systems in reduced time and cost. In a COTS component software market there exist component vendors (original developers of the component) and component users (developers of the component-based systems). The former provide the component to the user without source code or design documentation, and as a result it is difficult for the latter to adequately test the component when deployed in their system. In this article we propose a framework that clarifies the roles and responsibilities of both parties so that the user can adequately test the component in a deployment environment and the vendor does not need to release proprietary details. Then, based on this framework we combine and adapt two specification-based testing techniques and describe (and implement) a method for the automated generation of adequate test sets. An evaluation of our approach on a case study demonstrates that it is possible to automatically generate cost effective test sequences and that these test sequences are effective at detecting complex errors.
Lionel C. Briand, Yvan Labiche, Michal M. Sówka
ICSE3
2006 Automated impact analysis of UML models
Lionel C. Briand, Yvan Labiche, Leeshawn O'Sullivan, Michal M. Sówka
J. Syst. Softw.4