• Contact
  • Research
  • Blog
  • Home

Posts tagged test&proof

  • Why Formalize Standards? - 4 January 2019
  • Ontologies in Isabelle/HOL? - 26 July 2018
  • HOL-TestGen 1.9.1 Released - 31 August 2017
  • HOL-TestGen 1.9 Released - 19 July 2017
  • Dijkstra's Aircraft: Testing vs. Verification‽ - 30 December 2016
  • Monadic Sequence Testing?! - 6 July 2016
  • HOL-TestGen 1.8 Released - 23 April 2016
  • A Survey of Security Testing Techniques - 15 January 2016
  • Formal Firewall Conformance Testing - 15 December 2015

Welcome to the blog of the Software Assurance & Security Research Team at the University of Exeter. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.

Categories

  • all - RSS/Atom
  • security - RSS/Atom
  • test & proof - RSS/Atom
  • staff & positions - RSS/Atom
  • tips & tricks - RSS/Atom

Archive

  • 2019 (7)
  • 2018 (13)
  • 2017 (15)
  • 2016 (18)
  • 2015 (3)

Tags

academia android apidesign appsec bitcoin blockchain bpmn browser browserextensions browsersecurity chrome composition cordova dast devops devsecops dom efsm event extensions fixeffort floss formaldocument hol-ocl hol-testgen hybridapps iast industry internetofthings iot isabelle/hol isadof latex logic maintance malicous mbst mobile mobile apps modelinference modeling monads monitoring ocl opensource owasp patches policy protocols publishing reliability research safety sap sast sdlc secdevops secureprogramming security securityengineering securitytesting semantics servicecomposition smartthings softwaresecurity softwaresupplychain staff&positions statemachine test&proof testing tips&tricks tools transport tuos uk uoe upgrade usability verification vulnerabilities vulnerableapplication webinar websecurity

Search


blog whole site

© 2015-2019 Achim D. Brucker, Software Assurance & Security Research, @logicalhacking