… when comparing different versions of a part of a system. An increase in test effectiveness implies the need for fewer participants in usability tests that study … usability testing as an alternative for traditional holistic-oriented usability tests …
tsmc, 38(5):1143-1155, 2008. [doi]… of these parts. This study addresses the issue of usability testing in a CBSE environment, and specifically automatically measuring the usability of different … telephone were subjected to usability tests, in which 40 subjects participated …
pages 159-170, Kluwer Academic, Dordrecht and The Netherlands, 2005.… of these parts. This study addresses the issue of usability testing in a CBSE environment, and specifically automatically measuring the usability of different … telephone were subjected to usability tests, in which 40 subjects participated …
cadui 2005: 157-168… This paper addresses the issue of usability testing in a component-based … to usability tests, in which 80 subjects participated. Analyses of the statistical … are needed in a test. …
In EHCI-DSVIS 2004. 2005: 20-37 [doi]… This paper addresses the issue of usability testing in a component-based … to usability tests, in which 80 subjects participated. Analyses of the statistical … are needed in a test. …
ehci 2005: 20-37 [doi]… a framework description for creating and testing usable content and applications … for usability testing and evaluation during the development lifecycle, the basic customer … assessment and usability testing for deployed systems, presenting an appropriate …
International Journal of Information Technology and Web Engineering, 4(4), 2009. [doi]… We present a method for generating test cases that can be used throughout … it with related techniques, and discuss how it can be used in conjunction with various testing … as is, in order to test the specifications, or in conjunction with automatic test drivers …
ICSE 1981: 170-178 [doi]… and evaluate a set of metrics that can be used to assess the testability …We investigate factors of the testability of object-oriented software systems … an initial model of testability and existing OO metrics related to testability …
In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]… that have been used to test various IBM programs—/I language processors, sort/merge …A technique of automatically generating random software test cases is described. The nature of such test cases ensures that they will execute to completion …
IBMSJ, 22(3):229-245, 1983. [doi]… Applying formal methods to testing has recently become a quite popular research topic. In this paper we explore the opposite approach, namely, applying testing techniques to formal verification. The idea is to use test generation …
TACAS 2002: 470-475 [doi]… QuickCheck—a property-based testing tool for Erlang, which enables developers to formulate formal specifications of their code and to use them for testing. We cover the basic concepts of properties and test-data generators, properties …
cefp 2010: 183-223 [doi]… framework for grammar testing, in which some commonly used techniques for testing programs such as module testing and integration testing are adapted and applied to the testing of grammars. We propose a nonterminal-based approach for grammar …
ACISicis 2009: 1013-1019 [doi]… by describing a method, which engineers can use to test, empirically and objectively … of four usability tests, in which 40 users participated to evaluate the efficiency …Current usability evaluation methods are essentially holistic in nature …
iwc, 19(3):342-356, 2007. [doi]… than the one intended). Some experimental results from using the sentences to test … a context free grammar such that each production of the grammar is used at least once. The sentences are useful for testing parsing programs and for debugging …
BIT Numerical Mathematics, 12:366-375, 1972. [doi]… to be used for the characterization of test-data sets as well-defined … used in projects that required differential testing, stress testing … combinatorially exhaustive test-data sets up to a specified depth. Without further …
pts 2006: 19-38 [doi]… , and run the tests using modified schedules, increasing the likelihood …Incremental, test-driven development is sweeping the software industry, elevating testing from an ancillary activity to an integral part of the programming …
Master's thesis, Rice University, October 2007.… using example models, which will then be used as test cases during the actual … to achieve that goal, we propose a test-driven semantics specification process … development cycle. To get the most use out of them, their behavior should be defined …
MoDELS 2009: 378-392 [doi]