Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases., and . DBSec, volume A-6 of IFIP Transactions, page 191-202. North-Holland, (1991)Planar Lattice Security Structures for Multilevel Replicated Databases., and . DBSec, volume A-47 of IFIP Transactions, page 125-134. North-Holland, (1993)Introduction to Software Testing, and . Cambridge University Press, Cambridge, (2016)Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity., , and . Inf. Sci., 129 (1-4): 155-195 (2000)An Experimental Evaluation of Simple Methods for Seeding Program Errors., and . ICSE, page 337-342. IEEE Computer Society, (1985)Semantics-based transaction processing: satisfying conflicting objectives., and . IEEE Concurrency, 5 (2): 8-10 (1997)One-Representative Safety Analysis in the Non-Monotonic Transform Model., and . CSFW, page 139-149. IEEE Computer Society, (1994)Generating test data from state-based specifications., , , and . Softw. Test. Verification Reliab., 13 (1): 25-53 (2003)Reconciling perspectives of software logic testing., , and . Softw. Test. Verification Reliab., 18 (3): 149-188 (2008)Teaching a Testing Concept (JUnit) with Active Learning., and . ICST Workshops, page 411. IEEE, (2020)