Bernhard Riedl - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

Improved Adaptive Group Testing Algorithms with Applications to Multiple Access Channels and Dead Sensor DiagnosisMichael T. Goodrich, Daniel S. Hirschberg. corr, abs/0905.1906, 2009. [doi]

Test case prioritization for regression testing of service-oriented business applicationsLijun Mei, Zhenyu Zhang, W. K. Chan, T. H. Tse. WWW 2009: 901-910 [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.

JExample: Exploiting Dependencies between Tests to Improve Defect LocalizationAdrian Kuhn, Bart Van Rompaey, Lea Haensenberger, Oscar Nierstrasz, Serge Demeyer, Markus Gaelli, Koenraad Van Leemput. xpu 2008: 73-82 [doi]

An upper bound on software testing effectivenessTsong Yueh Chen, Robert G. Merkel. TOSEM, 17(3), 2008. [doi]

A numerical sufficiency test for the asymptotic stability of linear time-varying systemsPh. Mullhaupt, D. Buccieri, Dominique Bonvin. automatica, 43(4):631-638, 2007. [doi]

Relationships between perceived features and similarity of images: A test of Tversky s contrast modelAbebe Rorissa. jasis, 58(10):1401-1418, 2007. [doi]

An Extensible Framework for Distributed Testing of MPI ImplementationsJoshua Hursey, Ethan Mallove, Jeffrey M. Squyres, Andrew Lumsdaine. pvm 2007: 64-72 [doi]

Composing Tests from ExamplesMarkus Gälli, Rafael Wampfler, Oscar Nierstrasz. jot, 6(9):71-86, 2007. [doi]

Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised PapersYuri Gurevich, Bertrand Meyer, editors, Volume 4454 of Lecture Notes in Computer Science, Springer, 2007.

A testing scenario for probabilistic processesLing Cheung, Mariëlle Stoelinga, Frits W. Vaandrager. JACM, 54(6):29, 2007. [doi]

Software test cases: is one ever enough?Keith Miller, Jeffrey M. Voas. itpro, 8(1):44-48, 2006. [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.

Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United KingdomPhil McMinn, editor, IEEE Computer Society, 2006.

Experiences and results from initiating field defect prediction and product test prioritization efforts at ABB IncPaul Luo Li, James D. Herbsleb, Mary Shaw, Brian Robinson. ICSE 2006: 413-422 [doi]

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

An Extended Quadratic Frobenius Primality Test with Average- and Worst-Case Error EstimateIvan Damgård, Gudmund Skovbjerg Frandsen. joc, 19(4):489-520, 2006. [doi]

Automatic generation of test cases from Boolean specifications using the MUMCUT strategyYuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen. jss, 79(6):820-840, 2006. [doi]

Forgetting Test CasesKwok Ping Chan, Tsong Yueh Chen, Dave Towey. compsac 2006: 485-494 [doi]

On the statistical properties of testing effectiveness measuresTsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel. jss, 79(5):591-601, 2006. [doi]

Improvement of Design Specifications with Inspection and TestingDietmar Winkler, Bernhard Riedl, Stefan Biffl. euromicro 2005: 222-231 [doi]

Check n crash: combining static checking and testingChristoph Csallner, Yannis Smaragdakis. ICSE 2005: 422-431 [doi]

An effective testing method for end-user programmersTsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou. sigsoft, 30(4):1-5, 2005. [doi]

Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised PapersEnrico Giunchiglia, Armando Tacchella, editors, Volume 2919 of Lecture Notes in Computer Science, Springer, 2004.

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

On the testing methods used by beginning software testersYuen-Tak Yu, Sebastian P. Ng, Pak-Lok Poon, Tsong Yueh Chen. INFSOF, 46(5):329-335, 2004. [doi]

On the Testing of Particular Input ConditionsEric Ying Kwong Chan, Pak-Lok Poon, Yuen-Tak Yu. compsac 2004: 318-325 [doi]

Replicating Web Structure in Small-Scale Test CollectionsCathal Gurrin, Alan F. Smeaton. ir, 7(3-4):239-263, 2004.

Testing and dating of structural changes in practiceAchim Zeileis, Christian Kleiber, Walter Krämer, Kurt Hornik. csda, 44(1-2):109-123, 2003. [doi]

An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error EstimatesIvan Damgård, Gudmund Skovbjerg Frandsen. fct 2003: 118-131 [doi]

Metamorphic Testing and BeyondTsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou. step 2004: 94-100 [doi]

Using the Information: Incorporating Positive Feedback Information into the Testing ProcessKwok Ping Chan, Dave Towey, Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel. step 2004: 71-76 [doi]

A Testing Scenario for Probabilistic AutomataMariëlle Stoelinga, Frits W. Vaandrager. icalp 2003: 464-477 [doi]

TACCLE: a methodology for object-oriented software testing at the class and cluster levelsHuo Yan Chen, T. H. Tse, Tsong Yueh Chen. TOSEM, 10(1):56-109, 2001. [doi]

Testing timed automataJan Springintveld, Frits W. Vaandrager, Pedro R. D Argenio. TCS, 254(1-2):225-257, 2001. [doi]

Enabling testability of fault-tolerant circuits by means of I::DDQ::-checkable votersAlessandro Bogliolo, Michele Favalli, Maurizio Damiani. tvlsi, 8(4):415-419, 2000. [doi]

Test case selection with and without replacementHing Leung, T. H. Tse, F. T. Chan, Tsong Yueh Chen. isci, 129(1-4):81-103, 2000.

Testing of Large Number Multiplication Functions in Cryptographic SystemsT. H. Tse, Zhiquan Zhou, T. Y. Chen. apaqs 2000: 89-98 [doi]

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

GLFSR-a new test pattern generator for built-in-self-testDhiraj K. Pradhan, Mitrajit Chatterjee. tcad, 18(2):238-247, 1999. [doi]

Automated Test Case Generation for BDI AgentsChi Keen Low, Tsong Yueh Chen, Ralph Rönnquist. AAMAS, 2(4):311-332, 1999.

A method for increasing the I::DDQ:: testabilityMarcello Dalpasso, Michele Favalli. tcad, 16(10):1186-1188, 1997. [doi]

On the Criteria of Allocating Test Cases under UncertaintyTsong Yueh Chen, Yuen-Tak Yu. apsec 1997: 405-413 [doi]

On Some Characterisation Problems of Subdomain TestingTsong Yueh Chen, Yuen-Tak Yu. Ada-Europe 1996: 147-158

Clarifying Some Fundamental Concepts in Software TestingAllen S. Parrish, Stuart H. Zweben. TSE, 19(7):742-746, 1993. [doi]

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

Observation Equivalence as a Testing EquivalenceSamson Abramsky. TCS, 53:225-241, 1987.

Exhaustive Test Pattern Generation with Constant Weight VectorsDonald T. Tang, Lin S. Woo. TC, 32(12):1145-1150, 1983.

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