LPEQ and DLPEQ: Translators for automated equivalence testing of logic programsJANHUNEN, Tomi; OIKARINEN, Emilia.Lecture notes in computer science. 2004, pp 336-340, issn 0302-9743, isbn 3-540-20721-X, 5 p.Conference Paper

Adaptive random testing with CG constraintCHAN, F. T; CHEN, T. Y; CHAN, K. P et al.Annual international computer software and applications conference. 2004, isbn 0-7695-2209-2, 2Vol, vol2, 96-99Conference Paper

A history-based test prioritization technique for regression testing in resource constrained environmentsKIM, Jung-Min; PORTER, Adam.Proceedings - International Conference on Software Engineering. 2002, pp 119-129, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper

Testing an Intentional Naming scheme using genetic algorithmsKHURSHID, Sarfraz.Lecture notes in computer science. 2001, pp 358-372, issn 0302-9743, isbn 3-540-41865-2Conference Paper

The impact of test suite granularity on the cost-effectiveness of regression testingROTHERMEL, Gregg; ELBAUM, Sebastian; MALISHEVSKY, Alexey et al.Proceedings - International Conference on Software Engineering. 2002, pp 130-140, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper

Data-Flow Testing of Declarative ProgramsFISCHER, Sebastian; KUCHEN, Herbert.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 201-212, issn 1523-2867, 12 p.Conference Paper

Aspektorientierte Programmiertechniken im Unit-Testen = Aspect oriented programming techniques in unit testingVÖSGEN, Matthias; SOKENOU, Dehla.Informatik (Berlin, West). 2005, Vol 20, Num 1-2, pp 57-71, issn 0178-3564, 15 p.Article

Testing various modes of computer-based training for deception detectionGEORGE, Joey F; BIROS, David P; ADKINS, Mark et al.Lecture notes in computer science. 2004, pp 411-417, issn 0302-9743, isbn 3-540-22125-5, 7 p.Conference Paper

Constructing precise Object Relation DiagramsMILANOVA, Ana; ROUNTEV, Atanas; RYDER, Barbara G et al.Proceedings - Conference on Software Maintenance. 2002, pp 586-595, issn 1063-6773, isbn 0-7695-1819-2, 10 p.Conference Paper

Testing the equivalence of logic programs under stable model semanticsJANHUNEN, Tomi; OIKARINEN, Emilia.Lecture notes in computer science. 2002, pp 493-504, issn 0302-9743, isbn 3-540-44190-5, 12 p.Conference Paper

FlexTest : An aspect-oriented framework for unit testingSOKENOU, Dehla; VÖSGEN, Matthias.Lecture notes in computer science. 2005, pp 257-270, issn 0302-9743, isbn 3-540-29033-8, 1Vol, 14 p.Conference Paper

Empirical evaluation of orthogonality of class mutation operatorsLEE, Hyo-Jeong; MA, Yu-Seong; KWON, Yong-Rae et al.Asia-Pacific software engineering conference. 2004, pp 512-518, isbn 0-7695-2245-9, 1Vol, 7 p.Conference Paper

On the robustness of functional equationsRUBINFELD, R.SIAM journal on computing (Print). 1999, Vol 28, Num 6, pp 1972-1997, issn 0097-5397Article

Mutation Testing applied to validate SDL specificationsSUGETA, Tatiana; MALDONADO, José Carlos; WONG, W. Eric et al.Lecture notes in computer science. 2004, pp 193-208, issn 0302-9743, isbn 3-540-21219-1, 16 p.Conference Paper

Equivalence of logic programs under updatesINOUEL, Katsumi; SAKAMA, Chiaki.Lecture notes in computer science. 2004, pp 174-186, issn 0302-9743, isbn 3-540-23242-7, 13 p.Conference Paper

Combining testing and proving in dependent type theoryDYBJER, P; HAIYAN, Q; TAKEYAMA, M et al.Lecture notes in computer science. 2003, pp 188-203, issn 0302-9743, isbn 3-540-40664-6, 16 p.Conference Paper

Assertion checker for the C programming language based on computations over event tracesAUGUSTON, Mikhail.International workshop on automated debugging. 2000, pp 90-99Conference Paper

Testing LTL formula translation into Büchi automataTAURIAINEN, Heikki; HELJANKO, Keijo.International journal on software tools for technology transfer (Print). 2002, Vol 4, Num 1, pp 57-70, issn 1433-2779, 14 p.Article

ANT: A testing environment for nondeterministic parallel programsKRANZLMÜLLER, Dieter; MAURER, Martin; LÖBERBAUER, Markus et al.DAPSYS workshop. 2002, pp 125-132, isbn 1-4020-7209-0, 8 p.Conference Paper

Verification by testing for recursive program schemesLE METAYER, D; NICOLAS, V.-A; RIDOUX, O et al.Lecture notes in computer science. 2000, pp 255-272, issn 0302-9743, isbn 3-540-67628-7Conference Paper

The Pitfalls of Verifying Floating-Point ComputationsMONNIAUX, David.ACM transactions on programming languages and systems. 2008, Vol 30, Num 3, pp 12-52, issn 0164-0925, 41 p.Article

Recovering and Analyzing Program Behaviors from Testing TracesPOLO, Macario; ROMERO, Francisco P; OLIVAS, Jose A et al.Artificial intelligence. International conferenceWorldComp'2010. 2010, pp 834-840, isbn 1-60132-146-5 1-60132-147-3 1-60132-148-1, 7 p.Conference Paper

Behavioral detection of malware : from a survey towards an established taxonomyJACOB, Grégoire; DEBAR, Hervé; FILIOL, Eric et al.Journal in computer virology. 2008, Vol 4, Num 3, pp 251-266, issn 1772-9890, 16 p.Article

Learning from Mistakes : A Comprehensive Study on Real World Concurrency Bug CharacteristicsSHAN LU; PARK, Soyeon; SEO, Eunsoo et al.ACM SIGPLAN notices. 2008, Vol 43, Num 3, pp 329-339, issn 1523-2867, 11 p.Conference Paper

Slicing concurrent Java programs using Indus and KaveriPRASAD RANGANATH, Venkatesh; HATCLIFF, John.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 5-6, pp 489-504, issn 1433-2779, 16 p.Article