Author of the publication

A tool for automated reasoning about traces based on configurable formal semantics.

, , , and . ESEC/SIGSOFT FSE, page 959-963. ACM, (2017)

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

Metamodeling of Semantic Web Enabled Multiagent Systems., , , and . Multiagent Systems and Software Architecture, page 79-86. Katholieke Universiteit Leuven, Belgium, (2006)Metamorphic Testing for Web System Security., , , and . CoRR, (2022)A tool for automated reasoning about traces based on configurable formal semantics., , , and . ESEC/SIGSOFT FSE, page 959-963. ACM, (2017)Engineering Carbon Emission-aware Machine Learning Pipelines., , and . CAIN, page 118-128. ACM, (2024)An AI pipeline for garment price projection using computer vision., , , , , , and . Neural Comput. Appl., 36 (25): 15631-15651 (September 2024)Metamorphic Security Testing for Web Systems., , , and . CoRR, (2019)UDAVA: an unsupervised learning pipeline for sensor data validation in manufacturing., , , and . CAIN, page 159-169. ACM, (2022)MCP: a security testing tool driven by requirements., , , and . ICSE (Companion Volume), page 55-58. IEEE / ACM, (2019)Metamorphic Security Testing for Web Systems., , , and . ICST, page 186-197. IEEE, (2020)Survey of Traceability Approaches in Model-Driven Engineering., and . EDOC, page 313-326. IEEE Computer Society, (2007)