research
∙
05/29/2022
To test, or not to test: A proactive approach for deciding complete performance test initiation
Software performance testing requires a set of inputs that exercise diff...
share
research
∙
12/30/2019
Boldly Going Where No Prover Has Gone Before
I argue that the most interesting goal facing researchers in automated r...
research
∙
06/07/2018
Specification of State and Time Constraints for Runtime Verification of Functions
Techniques for runtime verification often utilise specification language...
research
∙
08/24/2017