( en | de | ru )

 

Disambiguation of "Ammann, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Introduction to Software Testing

, and . Cambridge University Press, Cambridge, (2016)
DOI: DOI: 10.1017/9781316771273

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.

Paul Beat Ammann

Dieter Ammann

Franz Ammann

Ernst Ammann

Constantin Ammann

 

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)Applying Formal Methods to Semantic-Based Decomposition of Transactions., , and . ACM Trans. Database Syst., 22 (2): 215-254 (1997)One-Representative Safety Analysis in the Non-Monotonic Transform Model., and . CSFW, page 139-149. IEEE Computer Society, (1994)Teaching a Testing Concept (JUnit) with Active Learning., and . ICST Workshops, page 411. IEEE, (2020)Applying Data Redundancy to Differential Equation Solvers., , and . Ann. Softw. Eng., (1997)Reconciling perspectives of software logic testing., , and . Softw. Test. Verification Reliab., 18 (3): 149-188 (2008)Generating test data from state-based specifications., , , and . Softw. Test. Verification Reliab., 13 (1): 25-53 (2003)Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity., , and . Inf. Sci., 129 (1-4): 155-195 (2000)