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: Program Testing

Results

An analysis of errors and their causes in system programs

1975 / IEEE
By: Endres, A.;

A theory of software reliability and its application

1975 / IEEE
By: Musa, J.D.;

Optimal placement of software monitors aiding systematic testing

1975 / IEEE
By: Ramamoorthy, C.V.; Chen, W.T.; Kim, K.H.;

On structured digraphs and program testing

1981 / IEEE
By: Ntafos, S.C.; Hakimi, S.L.;

Axiomatizing software test data adequacy

1986 / IEEE
By: Weyuker, E.J.;

A functional approach to program testing and analysis

1986 / IEEE
By: Howden, W.E.;

Advances in software inspections

1986 / IEEE
By: Fagan, M.E.;

The call-return tree and its application to program performance analysis

1986 / IEEE
By: Kundu, S.;

The cloze procedure and software comprehensibility measurement

1986 / IEEE
By: Zweben, S.H.; Hall, W.E.;

Specification directed module testing

1986 / IEEE
By: Hayes, I.J.;

Task Dependency Analysis for Regression Test Selection of Embedded Programs

2011 / IEEE
By: Biswas, S.; Satpathy, M.; Mall, R.;

Verification and Validation for Trustworthy Software Systems

2011 / IEEE
By: Michael, J.B.; Man-Tak Shing; Otani, T.W.; Drusinsky, D.;

Testing Software Product Lines

2011 / IEEE
By: Engstrom, E.; de Lemos Meira, S.R.; de Almeida, E.S.; do Carmo Machado, I.; Runeson, P.; da Mota Silveira Neto, P.A.;

Test Management

2011 / IEEE
By: Louridas, P.;

In pursuit of massive service emulation: a methodology for testbed building

2011 / IEEE
By: Garcia, R.; Alvarez, A.; Orea, R.; Melendi, D.; Paneda, X.G.; Cabrero, S.;

System Monitoring with Metric-Correlation Models

2011 / IEEE
By: Munawar, M.A.; Miao Jiang; Ward, P.A.S.; Reidemeister, T.;

Software Testing and Verification in Climate Model Development

2011 / IEEE
By: Rood, R.B.; Clune, T.L.;

Evaluating Dynamic Software Update Safety Using Systematic Testing

2012 / IEEE
By: Foster, J.S.; Hicks, M.; Hardisty, E.A.; Smith, E.K.; Hayden, C.M.;

Mutation-Driven Generation of Unit Tests and Oracles

2012 / IEEE
By: Fraser, G.; Zeller, A.;

Random Testing: Theoretical Results and Practical Implications

2012 / IEEE
By: Arcuri, A.; Briand, L.; Iqbal, M.Z.;

Preventing DoS attacks in NGN networks with proactive specification-based fuzzing

2012 / IEEE
By: Rontti, T.; Takanen, A.; Juuso, A.-M.;

Two Dimensional Multi-Release Software Reliability Modeling and Optimal Release Planning

2012 / IEEE
By: Kapur, P.K.; Kaur, G.; Aggarwal, A.G.; Pham, H.;

Analysis of Software Testing Strategies Through Attained Failure Size

2012 / IEEE
By: Zachariah, B.;

Testing in the Cloud: Exploring the Practice

2012 / IEEE
By: Taipale, O.; Riungu-Kalliosaari, L.; Smolander, K.;

Model-Based Testing

2012 / IEEE
By: Schieferdecker, I.;

A Comparative Study of Artificial Neural Networks and Info-Fuzzy Networks as Automated Oracles in Software Testing

2012 / IEEE
By: Tamir, D.E.; Agarwal, D.; Kandel, A.; Last, M.;

2012 / IEEE
By: Spinellis, D.;

Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application

2012 / IEEE
By: Eschbach, R.; Shashidhar, K.C.; Shahbaz, M.;

The 10-Minute Test Plan

2012 / IEEE
By: Whittaker, J.A.;

Testing the Nation's Healthcare Information Infrastructure: NIST Perspective

2012 / IEEE
By: Lide, B.; Sriram, R.D.; Brady, K.; Roberts, K.;

Concurrent Generation of Concurrent Programs for Post-Silicon Validation

2012 / IEEE
By: Ziv, A.; Nahir, A.; Adir, A.;

Environmental Modeling for Automated Cloud Application Testing

2012 / IEEE
By: de Halleux, P.; Tillmann, N.; Tao Xie; Jian Lu; Xiaoxing Ma; Linghao Zhang;

Testing Scientific Programs

2012 / IEEE
By: Dubois, P.F.;

System Testing a Scientific Framework Using a Regression-Test Environment

2012 / IEEE
By: Bastian, P.; Paech, B.; Remmel, H.; Engwer, C.;

Automated Security Test Generation with Formal Threat Models

2012 / IEEE
By: Thomas, L.; Sanford, M.; Manghui Tu; Dianxiang Xu; Weifeng Xu; Woodraska, D.;

A Method for Generation of Tests Instances of Models from Business Rules Expressed in OCL

2012 / IEEE
By: Mendes Bizerra Junior, E.; Araujo Wanderley, F.J.; Lencastre Pinheiro Menezes Cruz, M.; Silva Silveira, D.;

Towards a Formal Specification Framework for Manufacturing Execution Systems

2012 / IEEE
By: Witsch, M.; Vogel-Heuser, B.;

Performance Tests With LTSP

2012 / IEEE
By: Torrezam, A.; Braun, L.L.; Szezupior dos Santos, R.H.;

Observability-based coverage-directed path search using PBO for automatic test vector generation

2009 / IEEE / 978-1-4577-0236-5
By: Costa, J.C.; Monteiro, J.C.;

Knowledge transfer in global software development: leveraging acceptance test case specifications

2010 / IEEE / 978-1-60558-719-6
By: Engels, G.; Salger, F.;

Test generation through programming in UDITA

2010 / IEEE / 978-1-60558-719-6
By: Marinov, D.; Kuncak, V.; Khurshid, S.; Jagannath, V.; Gvero, T.; Gligoric, M.;

Constraint solving techniques for software testing and analysis

2010 / IEEE / 978-1-60558-719-6
By: Feifei Ma;

A methodology to support load test analysis

2010 / IEEE / 978-1-60558-719-6
By: Malik, H.;

Is operator-based mutant selection superior to random mutant selection?

2010 / IEEE / 978-1-60558-719-6
By: Tao Xie; Jun-Jue Hu; Shan-Shan Hou; Lu Zhang; Hong Mei;

Using symbolic evaluation to understand behavior in configurable software systems

2010 / IEEE / 978-1-60558-719-6
By: Song, C.; Reisner, E.; Porter, A.; Foster, J.S.; Kin-Keung Ma;

Parameterized unit testing: theory and practice

2010 / IEEE / 978-1-60558-719-6
By: Tillmann, N.; Tao Xie; de Halleux, J.;

Effect-Oriented Function Analysis and Testing Method

2010 / IEEE / 978-1-4244-9954-0
By: Hongbin Wang; Guisheng Yin; Min Song; Jun Ni;

STORM: static unit checking of concurrent programs

2010 / IEEE / 978-1-60558-719-6
By: Rakamaric, Z.;

From scripts to specifications: the evolution of a flight software testing effort

2010 / IEEE / 978-1-60558-719-6
By: Havelund, K.; Groce, A.; Smith, M.;

TestFul: automatic unit-test generation for Java classes

2010 / IEEE / 978-1-60558-719-6
By: Baresi, L.; Miraz, M.;

Precise calling context encoding

2010 / IEEE / 978-1-60558-719-6
By: Sumner, W.N.; Xiangyu Zhang; Weeratunge, D.; Yunhui Zheng;

A flexible tool suite for change-aware test-driven development of web applications

2010 / IEEE / 978-1-60558-719-6
By: Robles Luna, E.; Rossi, G.; Grigera, J.; Burella, J.;

SOABench: performance evaluation of service-oriented middleware made easy

2010 / IEEE / 978-1-60558-719-6
By: Bianculli, D.; Drago, M.L.; Binder, W.;

Using dynamic execution traces and program invariants to enhance behavioral model inference

2010 / IEEE / 978-1-60558-719-6
By: Brun, Y.; Krka, I.; Medvidovic, N.; Garcia, J.; Popescu, D.;

CUTS: a system execution modeling tool for realizing continuous system integration testing

2010 / IEEE / 978-1-60558-719-6
By: Hill, J.H.;

An analysis of the effects of company culture, education and experience on confirmation bias levels of software developers and testers

2010 / IEEE / 978-1-60558-719-6
By: Calikli, G.; Arslan, B.; Bener, A.;

Combinatorial test design in practice

2010 / IEEE / 978-1-60558-719-6
By: Cohen, M.B.; Ur, S.;

Test-driven roles for pair programming

2010 / IEEE / 978-1-60558-719-6
By: Goldman, M.;

A Common Computational Science Environment for High Performance Computing Centers

2010 / IEEE / 978-1-61284-986-7
By: Mark, E.; Hoffman, B.; Kirk, K.; Vines, J.; Clarke, J.; Angelini, R.; Leiter, K.; Martin, J.; Waisbrot, N.; Spear, C.;

Recent Successes and Changes of the HPCMP Sustained Systems Performance Test

2010 / IEEE / 978-1-61284-986-7
By: Brown, L.L.; Bennett, P.M.;

Best practices for technical aspects of software testing in enterprises

2010 / IEEE / 978-0-9564263-3-8
By: Majchrzak, T.A.;

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing

2010 / IEEE / 978-1-60558-719-6
By: Cheung, S.C.; Zhifeng Lai; Chan, W.K.;

An exploratory study of fault-proneness in evolving aspect-oriented programs

2010 / IEEE / 978-1-60558-719-6
By: Cacho, N.; Lopes, F.; Figueiredo, E.; Garcia, A.; Lemos, O.; Burrows, R.; Ferrari, F.; Maldonado, J.; Batista, T.; Masiero, P.; Rashid, A.; Soares, S.; Silva, L.; Temudo, N.;

Practical fault localization for dynamic web applications

2010 / IEEE / 978-1-60558-719-6
By: Pistoia, M.; Tip, F.; Dolby, J.; Artzi, S.;

Making findbugs more powerful

2011 / IEEE / 978-1-4244-9698-3
By: Hasan, M.M.; Al-Ameen, M.N.; Hamid, A.;

Extrapolation tool for load testing results

2011 / IEEE / 978-1-4577-0139-9
By: Mansharamani, R.; Duttagupta, S.;

Research on the definition and model of software testing quality

2011 / IEEE / 978-1-61284-666-8
By: Huiliang Jin; Fuping Zeng;

Colored Petri nets model based conformance test generation

2011 / IEEE / 978-1-4577-0681-3
By: Jun Li; Xinming Ye; Jing Liu;

Scenario-based software operational profile

2011 / IEEE / 978-1-61284-666-8
By: Fangling Zhong; Minyan Lu; Jun Ai; Qi Ao;

Automatic verification environment for embedded software reliability testing

2011 / IEEE / 978-1-61284-666-8
By: Jun Ai; Fangling Zhong; Qi Ao;

Designing generic safety test cases for airborne software

2011 / IEEE / 978-1-61284-666-8
By: Deming Zhong; Xiaohong Bao; Changyong Yang; Zhen Li;

One test case generation method for SW&HW reliability co-testing

2011 / IEEE / 978-1-61284-666-8
By: Zhanyong Ren; Qihua Wang; Chenguang Hou;

A collaboration-based testing model for composite components

2011 / IEEE / 978-1-4244-9698-3
By: Hien Le;

Rigorous model-based design & verification flow for in-vehicle software

2011 / IEEE / 978-1-4503-0636-2
By: Ramesh, S.; Gadkari, A.;

The design of the barycenter testing platform

2011 / IEEE / 978-1-4244-9439-2
By: Shi Gang; Wang Fan-rong; Fang Na;

The species per path approach to GEMGA-based test data generation

2011 / IEEE / 978-1-61284-774-0
By: Zhenghua Xin; Na Li; Liangyi Hu;

A long-duration propulsive lunar landing testbed

2011 / IEEE / 978-1-61284-385-8
By: Shankar, K.; Whittaker, W.; Moidel, J.; Jones, H.; Peterson, K.;

Evaluating test reuse of a software product line oriented strategy

2011 / IEEE / 978-1-4577-1490-0
By: Colanzi, T.E.; de Freitas Guilhermino Trindade, D.; Assuncao, W.K.G.; Vergilio, S.R.;

Testing in an agile product development environment: An industry experience report

2011 / IEEE / 978-1-4577-1490-0
By: dos Santos, A.M.; Silva, E.; Correia, I.B.; Cavalcante, A.M.; Karlsson, B.F.;

Communication fault injection for multi-protocol Java applications testing

2011 / IEEE / 978-1-4577-1490-0
By: Menegotto, C.C.; Weber, T.S.;

An approach for clustering test data

2011 / IEEE / 978-1-4577-1490-0
By: Vergilio, S.R.; Pozo, A.; Lenz, A.R.;

Tendency analysis of software reliability engineering

2011 / IEEE / 978-1-61284-666-8
By: Linbo Fan; Zhigang Ma;

Software reliability accelerated testing based on the combined testing method

2011 / IEEE / 978-1-61284-666-8
By: Jun Zheng; Chang Liu; Erqiang Feng;

The effectiveness of real-time embedded software testing

2011 / IEEE / 978-1-61284-666-8
By: Bo Zhang; Xiangheng Shen;

Software reliability modeling based on test coverage

2011 / IEEE / 978-1-61284-666-8
By: Minyan Lu; Yumei Wu; Shuanqi Wang; Haifeng Li;

A dynamic software binary fault injection system for real-time embedded software

2011 / IEEE / 978-1-61284-666-8
By: Yunjia Zhang; Qing Zhou; Bin Liu;

Test-case generation for embedded simulink via formal concept analysis

2011 / IEEE / 978-1-4503-0636-2
By: Kroening, D.; Rummer, P.; Nannan He;

The process of requirement analysis about military software system testing

2011 / IEEE / 978-1-61284-666-8
By: Bin Liu; Qing Zhou; Xiaoqi Xing; Zhengwei Yu;

Theory and implemetion of Simulation Testing Framework for embedded software

2011 / IEEE / 978-1-61284-666-8
By: Yichen Wang; Chongwu Jiang; Yikun Wang;

Web software reliability analysis with Yamada exponential testing-effort

2011 / IEEE / 978-1-61284-666-8
By: Jianfeng Yang; Wensheng Hu; Rui Wang; Zhouhui Deng;

Developing a customized software engineering testing for Shared Banking Services (SBS) System

2011 / IEEE / 978-1-4577-1255-5
By: Sulaiman, N.A.; Kassim, M.;

A study of the AADL mode based on timed automata

2011 / IEEE / 978-1-4244-9698-3
By: Yunwei Dong; Yunfeng Zhang; Weichao Zhou; Yu Zhang;

Research on interoperability testing between operating systems

2011 / IEEE / 978-1-4244-9698-3
By: Yan Haihua; Tian Yang; Yu Bin;

Automatic generation of software test cases based on improved genetic algorithm

2011 / IEEE / 978-1-61284-774-0
By: Yuehua Dong; Jidong Peng;

A generic KBR library with built-in simulation capabilities

2011 / IEEE / 978-1-61284-383-4
By: Elser, B.; Fuhrmann, T.;

Automated testing of embedded automotive systems from requirement specification models

2011 / IEEE / 978-1-4577-1490-0
By: German, R.; Hielscher, K.-S.; Siegl, S.; Berger, C.;

A practical approach to assertion testing framework based on inner class

2011 / IEEE / 978-1-4244-9698-3
By: Song-Tao Guo; Guodong Qu; Hongqun Zhang;

Design and realization of software for a visibility measurement system based on WSN

2011 / IEEE / 978-1-4244-9439-2
By: Huiqiang Tang; Tingting Bao;

Trojan characteristics analysis based on Stochastic Petri Nets

2011 / IEEE / 978-1-4577-0085-9
By: Jinming Li; Li Liu; Li Wang; Yuanzhuo Wang; He Gao; Xueqi Cheng;

RELEASE: Generating Exploits Using Loop-Aware Concolic Execution

2011 / IEEE / 978-1-4577-0780-3
By: Bing-Han Li; Shiuhpyng Shieh;

Next Page