Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("test case generation")

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 16 of 16

  • Page / 1
Export

Selection :

  • and

Automatically generating test data from a Boolean specificationWEYUKER, E; GORADIA, T; ASHUTOSH SINGH et al.IEEE transactions on software engineering. 1994, Vol 20, Num 5, pp 353-363, issn 0098-5589Article

3-Way Software Testing with Budget Constraints : Software Reliability EngineeringMAITY, Soumen.IEICE transactions on information and systems. 2012, Vol 95, Num 9, pp 2227-2231, issn 0916-8532, 5 p.Article

The automatic generation of load test suites and the assessment of the resulting softwareAVRITZER, A; WEYUKER, E. J.IEEE transactions on software engineering. 1995, Vol 21, Num 9, pp 705-716, issn 0098-5589Article

A Function Interaction Testing by Reusing Characterized Test Cases : Software Reliability EngineeringSHIN, Youngsul; LEE, Woo Jin.IEICE transactions on information and systems. 2012, Vol 95, Num 9, pp 2232-2234, issn 0916-8532, 3 p.Article

A Survey of Combinatorial TestingCHANGHAI NIE; LEUNG, Hareton.ACM computing surveys. 2011, Vol 43, Num 2, issn 0360-0300, 11.1-11.29Article

Swiss cheese test case generation for web services testingTSAI, Wei-Tek; WEI, Xiao; CHEN, Yinong et al.IEICE transactions on information and systems. 2005, Vol 88, Num 12, pp 2691-2698, issn 0916-8532, 8 p.Conference Paper

Specification-based test generation with TGVCALAME, Jens R.Report - Software engineering. 2005, Num 08, pp 1-30, issn 1386-369X, 30 p.Article

Mutation testing in the refinement calculusAICHERNIG, Bernhard K.Formal aspects of computing. 2003, Vol 15, Num 2-3, pp 280-295, issn 0934-5043, 16 p.Conference Paper

Virtual start-up of plants using formal methods : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATIONPREUSSE, Sebastian; GERBER, Christian; HANISCH, Hans-Michael et al.International journal of computer applications in technology. 2011, Vol 42, Num 2-3, pp 108-126, issn 0952-8091, 19 p.Article

Synthesis of System State ModelsSARMA, M; MALL, R.ACM SIGPLAN notices. 2007, Vol 42, Num 11, pp 5-14, issn 1523-2867, 10 p.Article

Combining test case generation and runtime verificationARTHO, Cyrille; BARRINGER, Howard; WASHINGTON, Rich et al.Theoretical computer science. 2005, Vol 336, Num 2-3, pp 209-234, issn 0304-3975, 26 p.Article

An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing : TACAS 06GUPTA, Atul; JALOTE, Pankaj.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 2, pp 145-160, issn 1433-2779, 16 p.Article

Test-case generator for nonlinear continuous parameter optimization techniquesMICHALEWICZ, Zbigniew SR; DEB, Kalyanmoy; SCHMIDT, Martin et al.IEEE transactions on evolutionary computation. 2000, Vol 4, Num 3, pp 197-215, issn 1089-778XArticle

Automatic generation of path conditions for concurrent timed systemsBENSALEM, Saddek; PELED, Doron; HONGYANG QU et al.Theoretical computer science. 2008, Vol 404, Num 3, pp 275-292, issn 0304-3975, 18 p.Conference Paper

An algorithm for merging two classification trees for test case generationPREMA, P; RAMADOSS, B; BALASUNDARAM, S. R et al.Computer systems science and engineering. 2013, Vol 28, Num 4, pp 207-216, issn 0267-6192, 10 p.Article

The software model checker BLAST : Applications to software engineeringBEYER, Dirk; HENZINGER, Thomas A; JHALA, Ranjit et al.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 5-6, pp 505-525, issn 1433-2779, 21 p.Article

  • Page / 1