VLDB 2026 Research / reviewers in the wild / expert
Michal M. Sówka
dblp:32/815
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › specification-based testing
contract-based testing |
0.1 | 1 | 2006 | Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006 |
Software testing
specification-based testing |
0.1 | 1 | 2006 | Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006 |
Software testing
test generation |
0.1 | 1 | 2006 | Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006 |
Software testing
component-based software testing |
0.0 | 1 | 2006 | Automated, contract-based user testing of commercial-off-the-shelf components · ICSE 2006 |
Requirements engineering and software design › specification
software contracts |
0.0 | 1 | 2006 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | Automated, contract-based user testing of commercial-off-the-shelf componentsabstractCommercial-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 |
ICSE | 3 |
| 2006 | Automated impact analysis of UML models
Lionel C. Briand, Yvan Labiche, Leeshawn O'Sullivan, Michal M. Sówka |
J. Syst. Softw. | 4 |