Unspecified behavior

#	Item
1	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:33 Software engineering Software Computing C Programming language implementation Frama-C Data types Undefined behavior Integer overflow C99 Exception handling Unspecified behavior
2	Does my service have unspecified behavior? Kathrin Kaschner and Niels Lohmann Universit¨ at Rostock, Institut f¨ ur Informatik, 18051 Rostock, Germany {kathrin.kaschner, niels.lohmann}@uni-rostock.de Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2009-02-24 07:58:16 Process management Workflow technology Business Process Execution Language Invoice Software testing Communications protocol Statistical hypothesis testing Statistics Data Information