NDLI: Research on Metamorphic Testing: A Case Study in Integer Bugs Detection

Please wait, while we are loading the content...

2014 Fifth International Conference on Intelligent Systems Design and Engineering Applications

2013 Fourth International Conference on Intelligent Systems Design and Engineering Applications

Table of contents

A Hierarchical System for Age Estimation Based on Appearance Feature and Ranking-KNN

A Machinery Resource Intelligent Configuration Method Using Immune Algorithm

A Method for Interval-Bound Estimation Based on Grey Theory

A Method for Power System Short-Term Load Forecasting Based on Radial Basis Function Neural Network

A Monitoring System for the Safety of Building Structure Based on Semantic Technology

A Multi-objective Genetic Algorithm Based on Nearest Neighbor Method

A New Algorithm Combining Discernibility Matrix and Information Entropy for Power Grid Failure Detection

A New Ferro-resonance Harmonic Eliminator Based on IGBT in Distribution Network

A New Solution for Fault Localization of Reversible Circuits

A Novel Control Method of Single-Phase Photovoltaic Inverter

A Physical Education Teaching Quality Evaluation Method Based on Entropy Model

A Research about Personalized Recommendations in E-Textbook

A Research on Adaptive Neural Network Control Strategy of Vehicle Yaw Stability

A Study on Supervisory System of Low-Voltage Network Leakage Protector

A Survey of Palmprint Feature Extraction Algorithms

Adaptability Analysis of Passive Building Energy Efficiency Technology in Hot Summer and Warm Winter Region

An Algorithm Research of Ground-Space Integrated Scheduling TT&C Resources of Orbit Determination of GNSS Constellation

An Application of Multimedia Technology in Mathematic Education

An Application of Multimedia Technology in Sports Education

An Application of Radial Basis Function Network and Genetic Algorithm to Fashion Design System

An Approach to Web-Based Course of English Language Teaching Based on P2P Technology

An Improved Intelligence Analysis System Evaluating the Heat Value of Microblogging

An Ontology Construction Method for Educational Domain

An Overlapping Community Detection Algorithm Based on Multistep Greedy Strategy

Analysis and Application of Computer Technology on Architectural Space Lighting Visual Design

Analysis of Coal Mine Hidden Danger Correlation Based on Improved A Priori Algorithm

Analysis of the Opening and Closing Device's Movement Interference of the High Pressure Valve Based on ADAMS and PRO/E

Analysis on Fault Diagnosis of Hydraulic System in the Natural Gas Compressor

Application and Prospect of the Virtual Reality Technology in College Ideological Education

Application of Computer Aided Medicine Design in Development of Medicine

Application of Computer Modelling in Predicting Endocrine Disrupting Chemicals Functions

Application of Computer Simulation Technology in Medicine

Application of the Chaos-RBF Neural Network on Oil Film Parameters Identification to Gasoline Engines under Transient Conditions

Application Research of the Game Theory in the Teaching of College Physical

Application Research of the Virtual Visualization Technique in Basketball Teaching

Application to Medicine Management Based on Computer Network Aided System

Applied Research of FM Based on LABVIEW

Appropriate Learning Resource Recommendation in Intelligent Web-Based Educational System

Architecture Design of Subject-Oriented Web Crawler

Assist Decision-Making Hold Out System to Build and Apply Owing to That SG-CIM Composes in Reply a Multi-level Cube Tree's

Auxiliary Applied Research of Multimedia Technology in Physical Education

Based on RBF Neural Network Gasoline Transient Conditions Oil Film Parameter of Gasoline Engine Soft Predicted Measurements Research

Based on the Research of Self-Balancing Vehicle Posture Sensor System and Design

Camera Calibration of Thermal-Infrared Stereo Vision System

Classification and Statistics of Endocrine Diseases and Diagnoses Based on Artificial Intelligence

Classification of Chinese Famous Tea Base on Visible and Near Infrared Hyperspectra Imaging

Computer Retrieval Methodology for Medicine Literature Database

Construction of Beijing City Road Image

Corporatization of Expressway Construction and Operation Management

Design and Development of a Glass Cleaning Robot

Design and Implement on Smart Home System

Design and Implementation of Energy Hub for Smart Grid

Design and Verification of CPU for Teaching Based on Sparc V8

Design of DisplayPort Based High-Definition Video Monitor System

Design of Intelligent System for Large Scale Database

Design of Microcontroller's Display System Based on FPGA

Design of Platform of Intelligent Building Integration System

Design of the Control System for the Self-Propelled Electrostatic Sprayer

Design of the Intelligent Learning Resources Learning System Based on the "Knowledge Points" Indexing

Design of the UM-BUS Data Link Layer

Detection Model of Knotty Erotic Image

Discussion on EPC Project Management Model

Dynamic Gesture Recognition Based on Fusing Frame Images

Dynamic Modeling of a MW Scale Wind Turbine Generator Yaw Gear System with Elastic Impact and Its Simulation

Engine's Working Characteristics with Blended Fuel of Biodiesel and Diesel Oil in HCCI Combustion Mode

Evaluation of the City Emergency Risk Based on IAHP-Entropy Integrated Method

Experimental Study on Curved Plate Dehydration Equipment of Blast Furnace Gas

Experimental Study on Wood Crib Fire Suppression of Water Mist with Additives

Exploration and Study of Computer-Aided Higher Mathematics Teaching Practice

Fatigue Life Analysis for Rolling Bearings of a Helicopter Main Reducer

Financial Flexibility, Corporate Investment and Performance: Evidence from China's Listed Companies

Finite Element Method Simulation on Milling Forces of Super Alloy GH4169

Four-Echelon Inventory Model for Repairable Spare Parts with Two-Indenture

Genetic Algorithm Based Forecasting Model for the Employment Demand of Major in English

Hall Effect Gear Tooth Sensors Improvement

Image Enhancement Using Hybrid Intelligent Optimization

Image Semantic Information Mining Algorithm by Non-negative Matrix Factorization

Improved Collaborative Filtering Algorithm in the Research and Application of Personalized Movie Recommendations

Improvement of the Mass Burning Rate in a Quasi-dimensional Turbulent Combustion Model of SI Engines

Improving Building Intellectualization Level with High-Performance Embedded Technology

Influence of Dopants C on Dehydrogenating Properties of LiNH2

Introduction to the Current Situation and Future Prospect of the Asphalt Pavement Recycling Technology

Intrusion Detection System for Electric Power Information Network Based on Improved Ball Vector Machine

Measurement Method for Orthogonal Three Intersecting Axis Perpendicularity of Three-Axis Turntable

Methodology of Transient Calculation for Inverter-Based Smart Microgrid

Modified Function Projective Synchronization of a Classic Chaotic Systems with Unknown Disturbances Based on Adaptive Integral Sliding Mode Control

Monitor of Deep Drain Stability in High Steep Slope

Monitoring System Design of Wind Power Generation

Multi-agent Based E-Learning Intelligent Tutoring System for Supporting Adaptive Learning

Multimedia Bilingual Teaching Design and Practice Research for Information Discipline

New Magnetic Particle Cassette NDT Intelligent Detection Device

One Kind of Catchment Reinforced Water Seepage Hoses Designment

On-Line Monitoring of Transformer Vibration and Noise Based on DC Magnetic Bias

Optimized Management of Human Resource by Computer Aided System

Problems and Countermeasures on the Protection of the Ecological Environment in the Highway

Progress Review for the Research Method of the Dynamic Response of Mechanical Structure

Radar Clutter Suppression Solution Based on ICA

Research and Development on Locomotive HMI Display Interface

Research and Development of New Urbanization under the Background of the Construction of the Information System of Rural Human Resources

Research and Development of the Integrated Management System of the College Sports Based on the Network

Research for Network Security and Reliability and Performance Assess

Research on a Workflow Mining Algorithm Using Dynamic Weighted Association Rules Based on Tuple of Activity-Role

Research on Code Optimization When Develop Highway Network Monitoring Software Based on Trimedia

Research on Construction of the Distinctive Universities Teachers Team Based on Frontier Development

Research on Dynamic Control of Maglev Suspension System

Research on Electric Locomotive Auto-passing Neutral Section

Research on Energy-Hub Control Method of Micro-grid Based on Multi-agent & Petri Nets

Research on Flood Risk Assessment Model at Regional Scale

Research on Independent Learning Ability Based on the Network Multimedia University English Teaching Model

Research on Loss of Traction Transformer Leakage Magnetic Field

Research on Metamorphic Testing: A Case Study in Integer Bugs Detection

Research on Methods of Structural Optimization Based on Trimedia When Developing Province Highway Net-Monitoring Software System

Research on Multimedia Data Stream in Network

Research on Multimedia English Teaching Model Based on Network

Research on Network Course Setting Based on the Topological Sort and Activity on Edge Network

Research on Optimal Control of Cooling Water System in Central Air Conditioning System

Research on Temperature and Humidity Independent Control System Based on Liquid Desiccant

Research on the Aggregation Model of Network Security Situation Awareness Based on Analytic Hierarchy Process

Research on the Algorithm of Information Fusion for Height of UAV

Research on the Cutting Force of Nickel-Based Superalloy

Research on the Method of Warfare Simulation Data Analysis Based on BP Neural Network and RoughSet

Research on the Objects Selection Method of 3D Interactive Interface

Research on the Security of Electronic Commerce Based on Computer Network

Research on the Travel Route Based on Optimization Schedule

Review of Mathematical Modeling in Applied Mathematics Education

Risk Based Identification of Cascading Chains Based on Generalized Line Outage Distribution Factors

Risk Prediction and Management for the Hybrid Cloud Computing Based on the Bank Model

Simulation Research on the MPPT of the PV Cells Based on Fuzzy Control

Smart Grid - BEMS: The Art of Optimizing the Connection between Comfort Demand and Energy Supply

Structural Reliability Analysis Based on Imperialist Competitive Algorithm

Study of Image Compression Based on Wavelet Transform

Study on Exquisite Methods of Architectural Creation in Peter Zumthor's Works

Study on High Precision Measurement System of Dust Content in Gas

Study on Planning and Design of University Buildings Based on Architectural Environment

Study on Seat Density Based on Comfort Analysis and Optimization Design

Study on Statistics Based Q-Learning Algorithm for Multi-agent System

Study on the College Physical Education Mode Utilizing Multimedia Technology

Study on the Creation of Space Vitality Based on the Residential Outdoor Space

Study on the Value of the Tang Dynasty Quhui Temple's Stone Mound Structure and Characteristics

Study on University Buildings Ecology Based on Humanities Ecological Environment

Study on Water-Oil Flow Characteristics in Porous Media

The Base Material Segregation Control Technology Research of Strong Interlocked Skeleton Dense Graded Aggregate

The Construction Idea of China's Highway Management System

The Core Technology Research of Routing & Switching in the Next Generation Network

The Design and Application of the Intelligent Community System Based on GIS

The Design and Implementation of a Certain Personal 3D Face Model

The Design Study of Network-Based Multimedia English Courseware

The Effects of R&D Expenditures on Bondholders in Listed Firms

The Exploration of Combination of College English Teaching and Multimedia Technology

The Exploration of Ideological and Political Education of College in Informationization

The Influence of Mechanical Agitation Speed on the Movement of Molten Aluminum Alloy and Semisolid Billets Preparation

The Inquiry Teaching Practice Research on Higher Mathematics Based on the Computer

The Iris Normalization Method Based on Line

The Multi-valued Astronomical Image Segmentation Based on Pulse Coupled Neural Networks

The New Trend of Road Traffic Safety in USA

The Optimal Design for Cost Budget in Bidding Marketing

The Popularity of Economic Law Based on Computer-Aided Technology

The Realization of Marine Oil Prediction System upon Oil Spills Behavior Fate Model

The Relative Efficiencies of the Parameter Estimate in Seemingly Unrelated Regression Models

The Research in Planning and Design for Landscape Architecture

The Research on Cryptographic Algorithms Recognition Technology

The Structure Optimization of the Siphonic Bedpan's Flow Channel Based on the Numerical Simulation Technology

The Study of Internal Teaching Quality Monitoring and Security System Building of New Established Universities

The Study on Factors Influencing the Ice-Melting Performance of Transmission Line

Three-Dimensional Gesture Tracking Algorithm Based on Microstructure of Hand Motion

Towards Multi-agent Systems in Building Automation and Control for Improved Occupant Comfort and Energy Efficiency - State of the Art, Challenges

Transient Condition of Gasoline Engine Intake Flow Forecast Research Based on Chaos RBF Neural Network

Tuning of Neuro-fuzzy Controller by Real-Coded Genetic Algorithms with Application to an Autonomous Underwater Vehicle Control System

Uncertainty Analysis of Vehicle Suspension Systems Based on Polynomial Chaos Methods

Using 3G Smartphones for MALL

2013 Third International Conference on Intelligent System Design and Engineering Applications

2012 Second International Conference on Intelligent System Design and Engineering Application

2010 International Conference on Intelligent System Design and Engineering Application

Research on Metamorphic Testing: A Case Study in Integer Bugs Detection

Content Provider	IEEE Xplore Digital Library
Author	Yao Yi Zheng Changyou Huang Song Ren Zhengping
Copyright Year	2013
Description	Author affiliation: Coll. of Command Inf. Syst., PLA Univ. of Sci. & Technol., Nanjing, China (Yao Yi; Zheng Changyou; Huang Song; Ren Zhengping)
Abstract	The integer errors are harmful for the security of software. Because of the Test Oracle problem, integer bugs are always ignored. Metamorphic Testing can prove a way to determine the correctness of testing outputs with metamorphic relations between a series of outputs that correspond to a series of inputs, based on necessary properties of software under testing. In this paper, a metamorphic relationship is proposed which can detect invisible integer bugs without oracle. It is shown in our case study that this method can detect some invisible errors which are difficult to be found in conventional approach and improve the efficiency of integer bugs detection.
Starting Page	488
Ending Page	493
File Size	615359
Page Count	6
File Format	PDF
e-ISBN	9781479927920
DOI	10.1109/ISDEA.2013.516
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-11-06
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Radio frequency Software testing Graphics The virtual reality technology Rockets Application in the innovation Computer bugs A new teaching media Software Profound influence
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in