random solution / generic algorithm / satisfactory solution / less powerful solution / software testing / generic solution / /
Person
END END END GSEC (Node) / A.K. Chandra / V / Moshe Molcho / Yossi Malka / Morgan Kaufmann / Hudson / Laurent Fournier Moshe Levinger Evgeny / Daniel Lewin / /
Position
test engineer / /
Technology
design verification / generic algorithm / addresses B. The algorithm / An algorithm / simulation / Address Constraint Solver algorithm / /
Constraint Satisfaction for Test Program Generation (Preliminary Version) Daniel Lewin* Laurent Fournier Moshe Levinger Evgeny Roytman Gil Shurek IBM Israel Science and Technology, Haifa Research Laboratory MATAM, Haifa