Vlad Rusu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. tap 2010: 135-150 [doi]

Integration and Test Sequencing for Complex SystemsR. Boumen, I. S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda. tsmc, 39(1):177-187, 2009. [doi]

New insights on testing the efficiency of methods of pricing and hedging American optionsFlavio Pressacco, Marcellino Gaudenzi, Antonino Zanette, Laura Ziani. eor, 185(1):235-254, 2008. [doi]

First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008IEEE Computer Society, 2008.

Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ProceedingsKaren Yorav, editor, Volume 4899 of Lecture Notes in Computer Science, Springer, 2008.

Two Plus Two Does not Equal Three: Statistical Tests for Multiple genome ComparisonNarayanan Raghupathy, Rose Hoberman, Dannie Durand. jbcb, 6(1):1-22, 2008. [doi]

Integrating formal verification and conformance testing for reactive systemsCamille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. TSE, 33(8):558-574, 2007. [doi]

Integrating Verification, Testing, and Learning for Cryptographic ProtocolsMartijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse. IFM 2007: 538-557 [doi]

Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected PapersEyal Bin, Avi Ziv, Shmuel Ur, editors, Volume 4383 of Lecture Notes in Computer Science, Springer, 2007.

Symbolic Determinisation of Extended AutomataThierry Jéron, Hervé Marchand, Vlad Rusu. ifipTCS 2006: 197-212 [doi]

Model-Based Test Selection for Infinite-State Reactive SystemsBertrand Jeannet, Thierry Jéron, Vlad Rusu. FMCO 2007: 47-69 [doi]

Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, ProceedingsM. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Volume 3964 of Lecture Notes in Computer Science, Springer, 2006.

A singular choice for multiple choiceGudmund Skovbjerg Frandsen, Michael I. Schwartzbach. SIGCSE, 38(4):34-38, 2006. [doi]

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptanceHenrik Brosenne, Matthias Homeister, Stephan Waack. ipl, 98(1):6-10, 2006. [doi]

Computer program TRACK_TEST for calculating parameters and plotting profiles for etch pits in nuclear track materialsD. Nikezic, K. N. Yu. cphysics, 174(2):160-165, 2006. [doi]

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsVlad Rusu, Hervé Marchand, Thierry Jéron. FM 2005: 189-204 [doi]

Symbolic Test Selection Based on Approximate AnalysisBertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva. TACAS 2005: 349-364 [doi]

On Testing Image Processing Applications with Statistical MethodsJohannes Mayer. se 2005: 69-78

Testing for contagion in ASEAN exchange ratesMichael McAleer, Jason Chee Wei Nam. mcs, 68(5-6):517-525, 2005. [doi]

From Safety Verification to Safety TestingVlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet. In TestCom 2004. 2004: 160-176 [doi]

Ensuring the conformance of reactive discrete-event systems by means of supervisory controlJeron, T., Marchand, H., Vlad Rusu, Tschaen, V.. International Journal of Production Research, 42(14), 2004.

6th International Workshop on Web Site Evolution (WSE 2004) - Testing, 11 September 2004, Chicago, IL, USAIEEE Computer Society, 2004.

Test Oracles Using Statistical MethodsJohannes Mayer, Ralph Guderlei. soqua 2004: 179-189

The Mann-Whitney TestDanny P. Wallace. jasis, 55(1):93, 2004. [doi]

Combining formal verification and conformance testing for validating reactive systemsVlad Rusu. stvr, 13(3):157-180, 2003. [doi]

Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USAIEEE Computer Society, 2003.

Do Real Options perform better than Net Present Value? Testing in an artificial financial marketMassimo Sapienza. jasss, 6(3), 2003. [doi]

A General Model for Finite-Sample Effects in Training and Testing of Competing ClassifiersSergey V. Beiden, Marcus A. Maloof, Robert F. Wagner. pami, 25(12):1561-1569, 2003. [doi]

Testing the descriptive validity of possibility theory in human judgments of uncertaintyEric Raufaste, Rui Da Silva Neves, Claudette Mariné. ai, 148(1-2):197-218, 2003. [doi]

Verification Using Test Generation TechniquesVlad Rusu. FM 2002: 252-271 [doi]

STG: A Symbolic Test Generation ToolDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. TACAS 2002: 470-475 [doi]

STG: a tool for generating symbolic test programs and oracles from operational specificationsDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. ESEC/FSE 2001: 301-302 [doi]

Automated Test and Oracle Generation for Smart-Card ApplicationsDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. esmart 2001: 58-70 [doi]

Correlated, Real Time Multi-spectral Sensor Test and Evaluation (T&E) in an Installed Systems Test Facility (ISTF) Using High Performance ComputingJohn Kriz, Tom Joyner, Ted Wilson, Greg McGraner. iccS 2001: 521-530 [doi]

An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. IFM 2000: 338-357 [doi]

Interactive Evaluation of the Ostensive Model Using a New Test Collection of Images with Multiple Relevance AssessmentsIain Campbell. ir, 2(1):85-112, 2000.

The Mutating Metric for Benchmarking TestRohit Kapur, Cy Hay, Thomas W. Williams. dt, 17(3):18-21, 2000. [doi]

Multiobjective Evolutionary Algorithm Test SuitesDavid A. van Veldhuizen, Gary B. Lamont. SAC 1999: 351-357 [doi]

On the Average Sensitivity of Testing Square-Free NumbersAnna Bernasconi, Carsten Damm, Igor Shparlinski. cocoon 1999: 291-299 [doi]

Load Testing in an IR Organization: Getting By With a Little Help From My Friends Andrea L. Glaser. cmg 1999: 686-698

Testing for Bounded Faults in RAMsR. David, Janusz A. Brzozowski, Helmut Jürgensen. et, 10(3):197-214, 1997. [doi]

Analyzing Regression Test Selection TechniquesGregg Rothermel, Mary Jean Harrold. TSE, 22(8):529-551, 1996. [doi]

Test for intersection between a plane and a connected compact polyhedronChing-Kuang Shene. cad, 26(7):585-588, 1994. [doi]

The Complexity of Finding Replicas Using Equality TestsGudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum. mfcs 1993: 463-472

DB2 Version 2 Release 3 Multi-User Performance Test ResultsGlynis Battersby, Peggy De Rossett. cmg 1992: 542-561

A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite AutomataSam M. Kim, Robert McNaughton, Robert McCloskey. TC, 40(10):1087-1093, 1991.

Algorithms for Testing the Satisfiability of Propositional FormulaeGiorgio Gallo, Giampaolo Urbani. jlp, 7(1):45-61, 1989.

Intellibility Tests for Digital Speech Coders with Synthetic Regeneration During FadesRichard L. Zinser, Richard L. Frey, Charles McD. Puckette IV. icc 1986: 1013-1021

Proceedings International Test Conference 1981, Philadelphia, PA, USA, October 1981IEEE Computer Society, 1981.

Testing for the Church-Rosser PropertyRonald V. Book, Colm Ó Dúnlaing. TCS, 16:223-229, 1981.

runs on WebDSL