Transactions on aspect-oriented software development

Veröffentlicht 2012

Foundations of component-based systems

Veröffentlicht 2000

Abstraction in Deductive Verification: Model Fields and Model Methods

von Cok, David R.
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings

Veröffentlicht 2010

Transactions on aspect-oriented software development X : [containing the best papers presented at the AOSD 2012 conference]

Veröffentlicht 2013

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

von Nilizadeh, Amirfarhad
Veröffentlicht in TAP (15. : 2021 : Online) Tests and Proofs (2021)

Transactions on modularity and composition I

Veröffentlicht 2016