Sign in

A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes.

Stefano GandiniWalter RuzzarinErnesto SánchezGiovanni SquilleroAlberto Paolo Tonda
Published in: J. Electron. Test. (2010)
Keyphrases
  • automated detection
  • software architecture
  • industrial processes
  • software systems
  • model checking
  • lung cancer
  • user interface
  • software development
  • statistical analysis