✦ LIBER ✦

Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications

✍ Scribed by Das, S.; Banerjee, A.; Dasgupta, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Alternative Approach to Implementatio

✍ Kiasi, Fariborz; Prakash, Jagadeesan; Shah, Sirish L. 📂 Article 📅 2013 🏛 American Chemical Society 🌐 English ⚖ 785 KB

an approach to formal specification and

✍ Yulin Yao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

An action-based approach to the formal s

✍ Alessandro Armando; Enrico Giunchiglia; Marco Maratea; Serena Elisa Ponta 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 468 KB

An empirical approach to the statistical

✍ Leslie Bernstein; John Kaldor; Joyce McCann; Malcolm C. Pike 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 801 KB

From ‘scientific revolution’ to ‘unscien

✍ András Kertész 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 348 KB

From the specification to the implementa

✍ Viviane Torres da Silva 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 373 KB