Search Results - "Ostrand, Thomas"

Model-based testing for software safety: a systematic mapping study.

Authors: Gurbuz, Havva Gulay Tekinerdogan, Bedir

Source: Software Quality Journal; Dec2018, Vol. 26 Issue 4, p1327-1372, 46p

BLACK-BOX TESTING.

Authors: Ostrand, Thomas¹

Source: Encyclopedia of Software Engineering, Volume 1; 2002 2nd Edition, Vol. 1, p76-78, 3p

On Program Verification.

Authors: Sayward, Frederick G. Ostrand, Thomas J. Weyuker, Elaine J. et al.

Source: Communications of the ACM. Nov79, Vol. 22 Issue 11, p614-614. 1p.

Subjects: Letters to the editor, Verification (Empiricism), Operations research, Industrial engineering, Systems theory

Transient inter-production scheduling based on Petri nets and constraint programming.

Authors: Bourdeaud'huy, Thomas Belkahla, Olfa Yim, Pascal et al.

Source: International Journal of Production Research. Nov2011, Vol. 49 Issue 22, p6591-6608. 18p.

Subjects: Production scheduling, Petri nets, Constraint programming, Flexible manufacturing systems, Multiagent systems, Methodology