Ralf Huuck National ICT Australia Ltd. / Microsoft / / /
Facility
Microsoft Visual Studio / University of New South Wales Sydney NSW / / /
IndustryTerm
software quality assurance process / analysis algorithms / bug tracking software / static analysis tools / software model checking / software bugs / software deficiencies / web browser / static analysis tool / later post-processing / static program analysis tools / software testing / software analysis / real-life systems / tool builder / /
NaturalFeature
Goanna falls / /
OperatingSystem
VMS / GNU / /
Organization
ICT Centre of Excellence / Australian Government / University of New South Wales / U.S. Securities and Exchange Commission / Australian Research Council / Department of Broadband / Communications and the Digital Economy / /
Person
Ralf Huuck / Checking Driven / / /
Position
editor / Model / programmer / /
Product
Goanna / /
ProgrammingLanguage
XML / C / C++ / /
PublishedMedium
Innovations in Systems and Software Engineering / /
Region
South Wales / /
Technology
XML / Broadband / Xeon processor / analysis algorithms / dom / underlying technology / /
Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra