Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Test Cases

Results

NP-Completeness and an Approximation Algorithm for Rectangle Escape Problem With Application to PCB Routing
2012 / IEEE
By: Wong, M.D.F.; Qiang Ma;
Web Services Open Test Suites
2011 / IEEE / 978-1-4577-0879-4
By: El Ioini, N.;
Open Web Services Testing
2011 / IEEE / 978-1-4577-0879-4
By: El Ioini, N.; Sillitti, A.;
GATE: game-based testing environment
2011 / IEEE / 978-1-4503-0445-0
By: Ning Chen;
Starting Model-Based Testing Based on Existing Test Cases Used for Model Creation
2011 / IEEE / 978-1-4577-0383-6
By: Lemmer, K.; Ebrecht, L.; Torens, C.;
Business-centric test assertion model for SOA
2011 / IEEE / 978-89-88678-50-3
By: Youngkon Lee;
Reconstructing Traceability between Bugs and Test Cases: An Experimental Study
2011 / IEEE / 978-1-4577-1948-6
By: Tahvildari, L.; Kaushik, N.; Moore, M.;
Implementation and covering analysis for the T-way combinatorial testing strategy
2011 / IEEE / 978-973-621-321-2
By: Varvara, G.; Sandu, V.;
Proximity based weighting of test cases to improve spectrum based fault localization
2011 / IEEE / 978-1-4577-1639-3
By: Ghosh, S.; Bandyopadhyay, A.;
A Petri Net-Based Metric for Active Rule Validation
2011 / IEEE / 978-1-4577-2068-0
By: Xiaoou Li; Chavarria-Baez, L.;
Prescription-level based test assertion model for SOA
2011 / IEEE / 978-89-88678-49-7
By: Youngkon Lee;
Semi-automatic test assertion transformation scheme for SOA
2011 / IEEE / 978-89-88678-63-3
By: Youngkon Lee;
Generating Quantitative Test Cases for Probabilistic Timed Web Service Composition
2011 / IEEE / 978-1-4673-0206-7
By: Honghao Gao; Ying Li;
Using Organizational Evolutionary Particle Swarm Techniques to Generate Test Cases for Combinatorial Testing
2011 / IEEE / 978-1-4577-2008-6
By: Xiaoying Pan; Hao Chen;
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models
2012 / IEEE / 978-1-4577-2145-8
By: Satpathy, M.; Raviram, S.; Peranandam, P.; Ramesh, S.; Gadkari, A.; Yeolekar, A.;
Using Test Cases to Size Systems: A Case Study
2012 / IEEE / 978-1-4673-0798-7
By: Schwartz, A.;
Tester Feedback Driven Fault Localization
2012 / IEEE / 978-0-7695-4670-4
By: Bandyopadhyay, A.; Ghosh, S.;
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques
2012 / IEEE / 978-0-7695-4670-4
By: Kapfhammer, G.M.; Kauffman, J.M.;
Automated data flow testing
2012 / IEEE / 978-1-4673-0455-9
By: Yadav, R.S.; Yadav, S.K.; Singh, R.; Kumar, P.; Dubey, H.K.;
Minimum Pairwise Coverage Using Constraint Programming Techniques
2012 / IEEE / 978-0-7695-4670-4
By: Hervieu, A.; Gotlieb, A.; Baudry, B.;
Dependency-Based Test Case Selection and Prioritization in Embedded Systems
2012 / IEEE / 978-0-7695-4670-4
By: Caliebe, P.; German, R.; Herpel, T.;
Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications
2012 / IEEE / 978-0-7695-4670-4
By: Kopetzky, T.; Ramler, R.; Platz, W.;
Mining Executable Specifications of Web Applications from Selenium IDE Tests
2012 / IEEE / 978-1-4673-2067-2
By: Dianxiang Xu; Wong, W.E.; Bavikati, B.K.; Weifeng Xu;
Determining the cost impact of SCM system errors
2014 / IEEE
By: Medellin, John M.;
Enhancing test power systems for dynamic cascading outage simulations
2014 / IEEE
By: Song, Jiajia; Henneaux, Pierre; Cotilla-Sanchez, Eduardo;
A novel testing framework for SOA based services
2014 / IEEE
By: Pandey, Akhilesh Kumar; Kumar, Abhishek; Singh, Manindra;
Automated generation of test cases from logical specification of software requirements
2014 / IEEE
By: Biswas, K. K.; Sharma, Richa;
A general precision testing scheme for electric parameters and its realization
2014 / IEEE
By: Heng-xu, Zhang; Wei, Cong; Yuan-yuan, Geng; Qing-fa, Ma; Fan-xiu, Fang;
Quality assurance strategy for distributed software development using managed test lab model
2014 / IEEE
By: Mathrani, Anuradha;
An Approach to Generate Safety Validation Test Cases from UML Activity Diagram
2013 / IEEE
By: Gupta, Atul; Tiwari, Saurabh;
Research on web application consistency testing based on model simulation
2014 / IEEE
By: Li, Xingsen; Li, Liping; Tang, Shan;
Testing the completeness of specifications
1989 / IEEE
By: Jalote, P.;
Topology design and bandwidth allocation in ATM nets
1989 / IEEE
By: Pazos, R.; Suruagy Monteiro, J.A.; Gerla, M.;
Multi-level software testing based on cyclomatic complexity
1989 / IEEE
By: Mitchell, B.K.; Emergy, K.O.;
Techniques for selective revalidation
1990 / IEEE
By: Robson, D.J.; Hartmann, J.;
The evolution support environment system
1990 / IEEE
By: Prakash, A.; Usuda, Y.; Ramamoorthy, C.V.; Tsai, W.T.;
Correctness verification of VLSI modules supported by a very efficient Boolean prover
1989 / IEEE / 0-8186-1971-6
By: Claesen, L.; Lammens, P.; De Man, H.;
Test-case generation from Prolog-based specifications
1991 / IEEE
By: Denney, R.;
A learning rule in the Chebyshev norm for multilayer perceptrons
1990 / IEEE
By: Burrascano, P.; Lucci, P.;
Proving properties of rule-based systems
1991 / IEEE / 0-8186-2135-4
By: Waldinger, R.J.; Stickel, M.E.;
Progress toward automated software testing
1991 / IEEE / 0-8186-2140-0
By: DeMillo, R.A.;
Model generation and performance analysis in a K-B matching process of medical images
1991 / IEEE / 0-7803-0003-3
By: Venturi, G.; Dellepiane, S.; Vernazza, G.;
The design of a knowledge-based system for electronic package design
1991 / IEEE / 0-7803-0144-7
By: Barnes, J.; Aakalu, N.; Vuu, L.; Kamerath, E.; Iskander, M.; Christiansen, G.; Beard, R.;
A knowledge-based testing assistant
1988 / IEEE
By: Carver, D.L.;
Datapath optimization using feedback
1991 / IEEE
By: Knapp, D.W.;
Design verification using logic tests
1991 / IEEE / 0-8186-3040-X
By: Macera, A.R.; Gorniak, M.J.; Debany, W.H., Jr.; Daskiewich, D.E.; Dussault, H.B.; Kwiat, K.A.;
Distributed, collaborative software inspection
1993 / IEEE
By: Tsai, W.-T.; Drake, J.M.; Mashayekhi, V.; Riedl, J.;
Using semantic differencing to reduce the cost of regression testing
1992 / IEEE / 0-8186-2980-0
By: Binkley, D.;
Is production system matching interesting?
1992 / IEEE / 0-8186-2905-3
By: Carbonell, J.; Perlin, M.; Doorenbos, B.; Tambe, M.; Stolfo, S.; Miranker, D.;
Multiple fault diagnosis for finite state machines
1993 / IEEE / 0-8186-3580-0
By: Bochmann, G.V.; Ghedamsi, A.; Dssouli, R.;
The effect of imperfect error detection on reliability assessment via life testing
1994 / IEEE
By: Ammann, P.E.; Knight, J.C.; Brilliant, S.S.;
Analytic performance estimation of client-server systems with multi-threaded clients
1994 / IEEE / 0-8186-5292-6
By: Hrischuk, C.; Lin, J.; Majumdar, S.; Petriu, D.C.;
Design recovery for software testing of object-oriented programs
1993 / IEEE / 0-8186-3780-3
By: Kung, C.H.; Yoyoshima, Y.; Lin, J.; Hsia, P.; Gao, J.;
Assessment of a sampling method for measuring safety-critical software reliability
1994 / IEEE / 0-8186-6665-X
By: Pasquini, A.; Bastani, F.;
On the relationship between partition and random testing
1994 / IEEE
By: Chen, T.Y.; Yu, Y.T.;
An approach for rapid protocol development: experiences with the proposed Fibre Channel Standard
1994 / IEEE / 0-8186-6680-3
By: Tsai, T.; Ocheltree, K.B.; Leff, A.;
Evaluation of object oriented database support for software engineering environments
1995 / IEEE / 0-8186-7093-2
By: Dahanayake, A.; Florijn, G.;
Company financial strategic analysis using neural classifiers
1995 / IEEE / 0-7803-2145-6
By: Cannata, V.; Gervasi, S.; Ballarin, A.; Liudaki, S.;
Fault localization using execution slices and dataflow tests
1995 / IEEE / 0-8186-7131-9
By: London, S.; Horgan, J.R.; Agrawal, H.; Wong, W.E.;
Using coverage information to predict the cost-effectiveness of regression testing strategies
1997 / IEEE
By: Weyuker, E.J.; Rosenblum, D.S.;
Impact of program transformation on software reliability assessment
1996 / IEEE / 0-8186-7629-9
By: Bastani, F.B.; Cukic, B.;
A distributed management system for testing document image analysis algorithms
1997 / IEEE / 0-8186-7898-4
By: Sauvola, J.; Doermann, D.; Pietiklainen, M.; Seppanen, T.; Kauniskangas, H.; Haapakoski, S.;
Test order for inter-class integration testing of object-oriented software
1997 / IEEE / 0-8186-8105-5
By: Daniels, F.J.; Kuo-Chung Tai;
Program segmentation for controlling test coverage
1997 / IEEE / 0-8186-8120-9
By: Belli, F.; Dreyer, J.;
A study of effective regression testing in practice
1997 / IEEE / 0-8186-8120-9
By: Horgan, J.R.; Wong, W.E.; Agrawal, H.; London, S.;
An empirical analysis of equivalence partitioning, boundary value analysis and random testing
1997 / IEEE / 0-8186-8093-8
By: Reid, S.C.;
Validation techniques for case-based reasoning systems
1998 / IEEE
By: Gonzalez, A.J.; Gupta, U.M.; Lingli Xu;
The role of ontologies in the verification and validation of knowledge based systems
1998 / IEEE / 0-8186-8353-8
By: Bench-Capon, T.J.M.;
An empirical study on the effectiveness of the greedy MUTP strategy
1998 / IEEE / 0-8186-8828-9
By: Chen, T.Y.; Lau, M.F.;
Framework-oriented analysis
1998 / IEEE / 0-8186-8585-9
By: Wei-Tek Tsai; Feng Zhu;
Regression slicing and its use in regression testing
1998 / IEEE / 0-8186-8585-9
By: Takacs, E.; Hajnal, A.; Forgacs, I.;
Specification-based class testing: a case study
1998 / IEEE / 0-8186-9198-0
By: Strooper, P.; Murray, L.; MacColl, I.; Carrington, D.;
Identifying modules which do not propagate errors
1999 / IEEE / 0-7695-0122-2
By: Michael, C.C.; Wai Hong Tang; Allen, E.B.; Khoshgoftaar, T.M.; Voas, J.M.;
Self-testable components: from pragmatic tests to design-for-testability methodology
1999 / IEEE / 978-0-7695-0275-5
By: Jezequel, J.-M.; Deveaux, D.; Le Treon, Y.;
Building test cases for use in hypersequential programming
1999 / IEEE / 0-7695-0191-5
By: Rudram, C.; Uchihira, N.; Croll, P.;
Test case prioritization: an empirical study
1999 / IEEE / 0-7695-0016-1
By: Chengyun Chu; Untch, R.H.; Rothermel, G.; Harrold, M.J.;
A new restructuring algorithm for the classification-tree method
1999 / IEEE / 0-7695-0328-4
By: Chen, T.Y.; Tse, T.H.; Poon, P.L.;
Regression testing on object-oriented programs
1999 / IEEE / 0-7695-0443-4
By: Mei-Hwa Chen; Ye Wu; Kao, H.M.;
Generating test cases for real-time software by time Petri nets model
1999 / IEEE / 0-7695-0315-2
By: Ho, I.; Jin-Chern Lin;
On effectiveness of equivalent fundamental pairs as test cases for object-oriented software
1999 / IEEE / 0-7803-5731-0
By: Chen Huo Yan;
A comparison of MHT and 2D assignment algorithm for tracking with an airborne pulse Doppler radar
1999 / IEEE / 1-86435-451-8
By: Ristic, B.;
Remote conformance test system for home bus system (HBS)
2000 / IEEE
By: Murata, M.; Kawamura, T.; Hamabe, R.;
Tools and techniques for Java API testing
2000 / IEEE / 0-7695-0631-3
By: Strooper, P.; Hoffman, D.;
A revisit of the proportional sampling strategy
2000 / IEEE / 0-7695-0631-3
By: Leung, H.; Chen, T.Y.;
Using model checking to analyze network vulnerabilities
2000 / IEEE / 0-7695-0665-8
By: Ritchey, R.W.; Ammann, P.;
A semi-formal methodology for the functional validation of an industrial DSP system
2000 / IEEE / 0-7803-5482-6
By: Arditi, L.; Clave, G.;
Specification-based testing for real-time reactive systems
2000 / IEEE / 0-7695-0774-3
By: Alagar, V.S.; Zheng, M.; Ormandjieva, O.;
Using application states in software testing
2000 / IEEE / 1-58113-206-9
By: Chang Liu; Richardson, D.J.;
Abstract program evaluation and its application to sorter evolution
2000 / IEEE / 0-7803-6375-2
By: Huelsbergen, L.;
Logic representation of programs to detect arithmetic anomalies
2000 / IEEE / 0-7695-0780-8
By: Illgen, T.; Belli, F.;
An object-oriented Web test model for testing Web applications
2000 / IEEE / 0-7695-0792-1
By: Pei Hsia; Chien-Hung Liu; Kung, D.C.;
Assessing the sensitivity to usage profile changes in test planning
2000 / IEEE / 0-7695-0807-3
By: Wesslen, A.; Regnell, B.; Runeson, P.;
Two approaches to generate non-equivalent ground terms as test cases for object-oriented software
2000 / IEEE / 0-7803-6583-6
By: Chen Huo Yan;
Augmenting sequence constraints in Z and its application to testing
2000 / IEEE / 0-7695-0559-7
By: Tsai, W.T.; Paul, R.; Huang, B.; Agarwal, V.;
Predicting testability of program modules using a neural network
2000 / IEEE / 0-7695-0559-7
By: Allen, E.B.; Khoshgoftaar, T.M.; Xu, Z.;
An assumptive logic programming methodology for parsing
2000 / IEEE / 0-7695-0909-6
By: Yeh, T.; Voll, K.; Dahl, V.;
A scalable formal method for design and automatic checking of user interfaces
2001 / IEEE / 0-7695-1050-7
By: Roussel, G.; Reghizzi, S.C.; Berstel, J.; Pietto, P.S.;
Specifying a certification process for COTS software components using UML
2001 / IEEE / 0-7695-1089-2
By: Derado, I.; Brenner, E.;
Utilizing object-oriented databases for concurrency control in virtual environments
2001 / IEEE / 0-7695-1372-7
By: Turgut, B.; Elmasri, R.; Aydin, N.; Turgut, D.;
Adaptive node techniques for short pulse electromagnetic modeling
2001 / IEEE / 0-7803-7141-0
By: Hewett, D.W.; Brecht, S.H.;

Next Page
Return To Top