Automating speculative queries through event-based requirements traceability | IEEE Conference Publication | IEEE Xplore