Author of the publication

Architectural Verification of Black-Box Component-Based Systems.

, , and . RISE, volume 4401 of Lecture Notes in Computer Science, page 98-113. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

XML Every-Flavor Testing., , and . WEBIST (1), page 268-273. INSTICC Press, (2006)ISSTA 2002 panel: is ISSTA research relevant to industrial users?. ISSTA, page 201-202. ACM, (2002)Learning Path Specification for Workplace Learning based on Business Process Management., and . CSEDU (1), page 172-180. SciTePress, (2016)RETORCH: Resource-Aware End-to-End Test Orchestration., , , , and . QUATIC, volume 1010 of Communications in Computer and Information Science, page 297-310. Springer, (2019)An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems., , , and . Int. J. Adapt. Resilient Auton. Syst., 4 (1): 1-25 (2013)Know You Neighbor: Fast Static Prediction of Test Flakiness., , , and . IEEE Access, (2021)Automatic Testing of Design Faults in MapReduce Applications., , , and . IEEE Trans. Reliability, 67 (3): 717-732 (2018)Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs., and . IEEE Trans. Software Eng., 20 (12): 885-899 (1994)Preventing untestedness in data-flow based testing., and . Softw. Test. Verification Reliab., 12 (1): 29-58 (2002)Using Testability Measures for Dependability Assessment., and . ICSE, page 61-70. ACM, (1995)