In this IEEE article, authors discuss a continuous verification and validation of complex and safety-critical software systems using techniques like statechart assertions, runtime execution monitoring, and scenario-based
testing.
|
General Feedback
|
Advertising
|
Editorial
|
Marketing
|
InfoQ.com and all content copyright © 2006-2018 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with. Privacy Notice, Terms And Conditions |
Quick overview of most important highlights in the industry and on the site.
Build your own feed by choosing topics you want to read about and editors you want to hear from.
Set up your notifications and don't miss out on content that matters to you
We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.
