Login / Signup
A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes.
Stefano Gandini
Walter Ruzzarin
Ernesto Sánchez
Giovanni Squillero
Alberto 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