# All Programs

142 Programs
• ### GetMid

Keywords :
Functionality : find median of three real number
MR Num:1
• ### kNN

Keywords :
Functionality : Classifier in supervised learning
MR Num:6
• ### Binary Search on Sorted Array

Functionality : Perform binary search on a sorted array
MR Num:4
• ### kth Occurrence of x in Unsorted Array

Functionality : locate the kth occurrence of a key from an unsorted array
MR Num:3
• ### Grep

Functionality : Searches file for lines containing a match to a specified pattern.
MR Num:1
• ### Trap

Functionality : Computes the approximate area under the curve f(x) between X axis.
MR Num:1
• ### NormDist

Functionality : Compute the Normal Distribution Probability value of a section
MR Num:2
• ### Is scalene triangle

Functionality : Triangle classification program
MR Num:2
• ### TriSquare.

Keywords :
Functionality : Check whether 3 positive real numbers could construct a triangle
MR Num:3
• ### Partial equation problem

Functionality : Partial differential equation calculation
MR Num:1
• ### ComputePower

Keywords :
Functionality : Perform function of Power in Math
MR Num:1
• ### Determinant Computations

Keywords :
Functionality : Compute determinant of the matrices
MR Num:12
• ### Sin

Keywords :
Functionality : Sin function in Math
MR Num:10
• ### NBC

Keywords :
Functionality : Classifier in supervised learning
MR Num:9
• ### Electronic payment

Keywords :
Functionality : To validate the MT framework for testing Web services, and report the effectiveness of MT.
MR Num:6
• ### dnapars

Keywords :
Functionality : Inferring evolutionary relationships among taxa using aligned sequences of characters, typically DNA or amino acids.
MR Num:7
• ### Cloud model

Keywords :
Functionality : Detecting unexpected behaviour when simulating cloud provisioning and usage.
MR Num:3
• ### MultipleKnapsack

Keywords :
Functionality : Solving the so- called multiple knapsack problem.
MR Num:13
• ### Grep

Keywords :
Functionality : Searching some input files for lines containing a match to the specified pattern.
MR Num:3
• ### SeqMap

Keywords :
Functionality : A Short Sequence Mapping Tool in bioinformatics to find all substrings in t(a long reference string) such that each substring has an edit distance equal to or less than e(a maximum number of mismatches) against some piP(a set of short strings).
MR Num:2
• ### Replace

Keywords :
Functionality : Performing regular expression matching and substitutions.
MR Num:6
• ### Schedule and schedule2

Keywords :
Functionality : Internally maintaining four mutually exclusive job lists, while schedule is non-preemptive and schedule2 is preemptive.
MR Num:0
• ### Tcas

Keywords :
Functionality : A module of an on-board aircraft conflict detection and resolution system used by commercial aircraft.
MR Num:3
• ### Tot_info

Keywords :
Functionality : Printing the Kullbacks information measure, the degree of freedom and the possibility density of distribution of one table.
MR Num:3
• ### HRRN(Highest Response Ratio Next)

Keywords :
Functionality : Deciding which process should be allocated CPU time when there are more than one process waiting and competing the resources.
MR Num:6
• ### Determinant of a matrix

Keywords :
Functionality : Calculating the determinant of a matrix.
MR Num:1
• ### TriSquare

Keywords :
Functionality : Check whether 3 positive real numbers could construct a triangle.
MR Num:3
• ### FindKNN

Keywords :
Functionality : To find k nearest neighbors of P(one m-dimensional test point) from S(n m-dimensional sample points).
MR Num:16
• ### Integral

Keywords :
Functionality : Calculating the value of the function integral.
MR Num:1
• ### Shortestpath

Keywords :
Functionality : Calculating the shortest path.
MR Num:2
• ### Partial differential equations

Keywords :
Functionality : Determine the temperature distribution at every point on a heated square plate
MR Num:1
• ### Sum of integers in an array

Keywords :
Functionality : Calculating the sum of integers in an array A
MR Num:2
• ### Sin

Keywords :
Functionality : Calculating the value of the function $sin(x)$.
MR Num:1
• ### Adobe Marketing Cloud time series analysis service

Keywords :
Functionality : using statistical methods to show what events have changed significantly when compared to previous data
MR Num:1
• ### Scopus and Web of Science

Keywords :
Functionality : calculate the citation scores
MR Num:3
• ### a classifier based on the shape of orientation histograms (SOH) of input images and random forests

Keywords :
Functionality : The classifier makes use of SOH feature vectors to classify artcode or non-artcode images
MR Num:3
• ### Apollo LiDAR obstacle perception module

Keywords :
Functionality : Interpret the point cloud data taken from the LiDAR
MR Num:1
• ### TCAS

Keywords :
Functionality : an implementation of onboard aircraft conflict detection and resolution system. It judges whether there will be a conflict between the current aircraft and the intruder aircraft based on the inputs, and finally outputs which kind of manoeuvre the current aircraft should take.
MR Num:15
• ### KNAPSACK

Keywords :
Functionality : calculate the optimal maximize the total profit and optimal solution to maximize the total profit.
MR Num:10
• ### commercial websites' price sorting

Keywords :
Functionality : help the users to sort the commercial good according to price
MR Num:1

Keywords :
Functionality : to generate an optimal route from an origin to a destination, conforming to the constraints given by the user.
MR Num:1
• ### Google map "search and find nearby places"

Keywords :
Functionality : search the places nearby
MR Num:1
• ### Image analysis

Keywords :
Functionality : face recognition
MR Num:1
• ### Google cloud video analysis

Keywords :
Functionality : recognize objects inside videos
MR Num:1
• ### the string searching program

Keywords :
Functionality : to search string
MR Num:4
• ### Multi precision arithmetic applications

Keywords :
Functionality : an application with arithmetics carried out in software as IEEE 754 standard to achieve higher precision and accuracy than hardware based environment
MR Num:7

Keywords :
Functionality : search with a certain criterion and return a set of web pages
MR Num:3
• ### dddddd

Keywords :
Functionality : wwwwwwwwww
MR Num:2
• ### wwwwwwwwww

Keywords :
Functionality : wwwwwwww
MR Num:2
• ### example

Keywords :
Functionality : 222222
MR Num:2
• ### GCS_PCE and BFS_PCE

Keywords :
Functionality : Feature Selection
MR Num:8
• ### GCS_CSE and BFS_GCS

Keywords :
Functionality : Feature Selection
MR Num:7
• Keywords :
Functionality :
MR Num:2
• ### Power-exponential function

Keywords :
Functionality : Power-exponential function in math
MR Num:1
• ### GetMid

Keywords :
Functionality : The program is expected to return the median of three real numbers a, b, and c
MR Num:2
• ### Binary Search into a sorted array

Keywords :
Functionality : Perform binary search on a sorted array
MR Num:1
• ### Linear Equations by Gaussian Elimination

Functionality : A program which solves a system of linear equations, $Ax=b$ by using Gaussian elimination where A is the square matrix of coeffcients and $b$ is a column vector
MR Num:2
• ### Events API-get events

Functionality : This service returns a collection of events according to different criteria. It is invoked as a GET on the url: http://HOST/api/eventos.
MR Num:11
• ### Event API-create an event

Functionality : This service creates a new event, It is a invoked as POST on the url: http://HOST/api/eventos, it returns a representation of the new event as output.
MR Num:1
• ### Event API-modify an event

Functionality : This service modifies an existing event, It is a invoked as PUT on the url: http://HOST/api/eventos/ID, it returns a representation of the modified event as output.
MR Num:1
• ### Memes Gallery API-Create meme

Keywords :
Functionality : This service creates a new meme, It is a invoked as POST on the url: http://HOST/api/gallery, it returns a representation of the new meme as output.
MR Num:1
• ### Sin function

Keywords :
Functionality : Sin function in math
MR Num:28
• ### Cos Function

Keywords :
Functionality : Cos function in math
MR Num:21
• ### Tan function

Keywords :
Functionality : Tan function in math
MR Num:20
• ### Partial differential equations

Keywords :
Functionality : Determine the temperature distribution at every point on a heated square plate.
MR Num:1
• ### ShortestPath

Functionality : Calculating the shortest path
MR Num:6
• ### Greatest common divisor

Functionality : compute the greatest common divisor of two integers
MR Num:4
• ### Triangle classification

Keywords :
Functionality : Takes three integers as arguments and classifies the corresponding triangle as scalene , isocele , equilateral  or illegal.
MR Num:9
• ### NormDist

Keywords :
Functionality : Computing the Normal Distribution Probability value of a section
MR Num:3
• ### Context-Sensitive Middleware-Based Software Applications

Functionality : The system includes two features:  (i) As far as possible, every visitor can personalize their favorite level of illumination irrespectively of their location within the zone.   (ii) At the same time, the system maximizes energy savings by dimming unnecessary streetlights. The system assumes that the effective distance for any streetlight to serve a visitor is at most 5 meters. And the testing is for the unit testing of the function $PowerUp()$
MR Num:1
• ### money exchange service

Keywords :
Functionality : Suppose that $S$ be an expected money exchange service, for example, accepting deal orders in USD and returning deal orders in HKD
MR Num:1
• ### The Value of Determinant

Keywords :
Functionality : Compute determinant of the matrices
MR Num:12
• ### Context-Sensitive Middleware-Based Applications B

Keywords :
Functionality : A example of a smart delivery system of a supermarket chain such that individual suppliers replenish their products onto pallets, shelves, and cases in various warehouses according to the demand sent off by such pallets.  The smart deliver system includes four features: (1)Each smart pallet can be dynamically configured to store a particular kind of product at, as far as possible, a desired quantity level.   (2)Each van of a supplier delivers a type of goods. (3)Goods that cannot sell can be returned to the supplier. A smart pallet may request a van to retract certain amount of goods. (4)The system assumes that the effective delivery distance for any pallet by any van is at most 25 meters
MR Num:2
• ### Testing of Boyer Program

Keywords :
Functionality : The program returns the index of the first occurrence of a specified pattern within a given text.
MR Num:18
• ### Mesh Simplification Programs

Functionality : Piping Classification to Metamorphic Testing.
MR Num:3
• ### The Maximal Value

Keywords :
Functionality : Calculates the maximal value from a set of input data
MR Num:8
• ### Image processing application B

Functionality : Applying partial oracles in order to automatically test several parts of a jpeg2000 encoder as an example for an image processing application in an integrated environment.
MR Num:5
• ### Feature Models

Keywords :
Functionality : Given an FM and its known set of products, a set of neighbour FMs together with their corresponding set of products are automatically generated and used for testing different analyses.
MR Num:5
• ### Testing Effectiveness:KNAPSACK

Functionality : The KNAPSACK program attempts to calculate the optimal solution and thus to maximize the total profit.
MR Num:10
• ### Memes Gallery API-modify meme

Keywords :
Functionality : This service modifies an existing meme, It is a invoked as PUT on the url: http://HOST/api/gallery/ID, it returns a representation of the modified event as output.
MR Num:1
• ### Memes Gallery API-Get memes

Functionality : This service returns a collection of memes according to different criteria. It is invoked as a GET on the url: http://HOST/api/gallery.
MR Num:4
• ### Travel API-Get travel plans

Functionality : This service returns a collection of travel plans according to different criteria. It is invoked as a GET on the url: http://HOST/api/travel.
MR Num:5
• ### Spotify: Create a playlist

Functionality : This service creates a playlist for a Spotify user.
MR Num:2
• ### Spotify: Reorder a playlist's tracks

Functionality : This service reorders a track or a group of tracks in a playlist.
MR Num:4
• ### Spotify: Search for an item

Functionality : This service gets Spotify catalog information about artists, albums, tracks or playlists that match a keyword string. More details in https://developer.spotify.com/web-api/search-item/
MR Num:14
• ### Detecting Faults in Technical Indicator Computations

Functionality : Detect faults in the computation of two commonly used technical indicators, namely the moving averages (MA) and the relative strength index (RSI).
MR Num:8
• ### Web Services:ATM

Functionality : The electronic payment service is selected as the subject program.And select the transfer feature for the case study.
MR Num:9
• ### comments API--create a comment

Functionality : This "comments API" manages comments about music: songs, lists, artists and groups. The "create a comment" service creates a new comment, and returns a representation of the new comment as output.
MR Num:1
• ### Wireless metering system

Functionality : A wireless metering system used in two electricpower companies.And in this project, we test the $meter reading function$ enabled by the software inside the RF module.
MR Num:1
• ### comments API--modify a comment

Functionality : This "comments API" manages comments about music: songs, lists, artists and groups. The "modify a comment" service modifies an existing comment and returns a representation of the modified comment as output.
MR Num:1
• ### Grep:pattern matching

Functionality : Grep is a UNIX command-line utility program written in C, which performs the pattern matching.
MR Num:3
• ### Monte Carlo Modeling Program

Functionality : The program is used for accurate and efficient modeling of reflectance images from turbid tissue phantoms.
MR Num:5
• ### Binary Space Partitioning Algorithm

Functionality : Deals with the surface visibility using the BSP tree named BSP tree visible surface (abbreviated as “BSP-treeVS”) algorithm.
MR Num:5
• ### Greedy Algorithm

Functionality : Greedy Algorithm on Set Covering Problem
MR Num:9
• ### Association rules algorithm

Functionality : Association rules algorithm in data mining
MR Num:7
• ### dnapars: an open-source bioinformatics program

Functionality : Infer evolutionary relationships among taxa using aligned sequences of characters, typically DNA or amino acids.
MR Num:12
• ### Web Services in WS-BPEL

Keywords :
Functionality : A classical WS-BPEL example of the Loan Approval Service.
MR Num:3
• ### Image processing applications A

Keywords :
Functionality : establish a method to generate additional test cases and to evaluate test results.
MR Num:7
• ### Banking system

Keywords :
Functionality : The system four modules viz. Deposit module, Withdraw module, Loan module and Fixed Deposit module.And an important activity in banking system is calculation of interest that needs to be correct.
MR Num:11
• ### Epidemiological Models

Functionality : Models are used to study the potential behavior and impact of disease spread in populations.
MR Num:14
• ### Integer Bugs:TCAS

Functionality : Detect integer bugs in Traffic Collision Avoidance System (TCAS).
MR Num:1
• ### Sum of an array

Functionality : Calculates the sum of integers in an array $a$.
MR Num:7
• ### SeqMap

Keywords :
Functionality : A Short Sequence Mapping Tool in bioinformatics.
MR Num:3
• ### Print_tokens and Print_tokens2

Functionality : Read a sequence of strings from a file, group these strings into tokens, identify token categories and print out all the tokens and their categories in order.
MR Num:3
• ### Replace

Keywords :
Functionality : Regular expression matching and substitutions.
MR Num:2
• ### Schedule and Schedule2

Keywords :
Functionality : These two programs perform priority scheduling,which internally maintain four mutually exclusive job lists:(1) Three priority job-lists $P_1,P_2$ and $P_3$;(2) One blocked job list $P_B$.
MR Num:3
• ### Tcas

Keywords :
Functionality : A small aircraft conflict avoidance system.
MR Num:7
• ### MPA:multi precision arithmetic

Functionality : Converting the general relations of operations as metamorphic relations.
MR Num:7
• ### Ochiai algorithm

Keywords :
Functionality : Ochiai algorithm
MR Num:5
• ### Web Search Engine

Keywords :
Functionality : A web search engine $S$ takes a set of key words as an input and displays the results containing all the key words.
MR Num:2
• ### Hill algorithm

Functionality : It encrypts a plaintext, which is usually a sequence of m letters, into a ciphertext that has the same size as the plaintext.
MR Num:3
• ### RSA algorithm

Functionality : RSA is an important cipher in public key cryptography, and its process involves a public key and a private key.
MR Num:1
• ### Feature Selection

Keywords :
Functionality : FS aims at reducing the dimensionality of the training sample set, removing irrelevant feature information, so as to increase the learning accuracy and improve result comprehensibility. We will focus on the filter method, which evaluates the relevance of features by studying the intrinsic property of the training data.
MR Num:10
• ### String Searching

Functionality : String Searching Algorithm like BM,KMP,RK.
MR Num:4

MR Num:6
• ### Minimal Spanning Tree

Functionality : Using Kruskal's Algorithm to find minimal spanning tree.
MR Num:5
• ### Genomic analysis

Functionality : Analysis of human genomic data – the genomic variant calling pipeline.
MR Num:5
• ### Simulation Mode:gossip propagation

Functionality : A gossip propagation model and simulation
MR Num:6
• ### Simulation Model:Cloud System

Functionality : Integrates a complete simulation platform for modelling cloud computing systems, with testing methods for checking the correctness of modelled cloud systems.
MR Num:3

Keywords :
Functionality : ADDA, which is an implementation of Discrete Diploe Approximation (DDA) method.
MR Num:12
• ### Rectangle Area Calculation

Keywords :
Functionality : Calculate the area of rectangle.
MR Num:5
• ### Superficial Area Calculation

Functionality : A superficial area calculation program, which is common for most of the GIS systems.
MR Num:7
• ### Soundex algorithm for phonetic indexing (SNDX)

Keywords :
Functionality : An algorithm for computing the phonetic soundex code of a given word by collecting its consonants into classes based on the sounding similarity between them
MR Num:5
• ### Edit distance algorithm

Keywords :
Functionality : It calculates the total minimum number of edit operations that transforms one given string $x$ into another one $y$.
MR Num:2
• ### Approximate string matching

Keywords :
Functionality : Determines the approximate equality between two strings using 12 different algorithms such as Longest Common Subsequence, and Sørensen-Dice Distance.
MR Num:3
• ### Big Integers

Keywords :
Functionality : An implementation of BigInteger class that supports large integer arithmetic operations that are not supported natively by the compilers.
MR Num:3
• ### SVM/SMO

Keywords :
Functionality : A computer program to implement the SMO algorithm.
MR Num:9
• ### BBMap

Functionality : BBMap is a bioinformatics toolkit that includes several alignment procedures. We specifically targeted the \textbf{BBMap.align
MR Num:5
• ### Parking fee system

Keywords :
Functionality : A parking fee calculation system FEE.
MR Num:3
• ### ABM

Keywords :
Functionality : Introduce the type of metamorphic properties for ABM.(To demonstrate the process of discovering metamorphic properties for validation, and identifying MR based on those properties, we use a agent-based model of angiogenesis to illustrate it.You can find it by searching Angiogenesis model")
MR Num:6
• ### Angiogenesis model

Functionality : The simulation model studies angiogenesis, the growth of new blood vessels that is crucial for tumors to be able to grow enough to cause problems within their tissue.(This model's MRs are derive accroding to the types of metamorphic properties for ABM.You can find it by searching ABM'')
MR Num:0
• ### Supervised classification algorithms

Keywords :
Functionality : k-nearest neighbors and Naïve Bayes Classifier.
MR Num:11
• ### Testing Effectiveness:TCAS

Keywords :
Functionality : TCAS is an implementation of onboard aircraft conflict detection and resolution system.
MR Num:14
• ### Integer Bugs: Triangle area

Keywords :
Functionality : Calculate triangle area with Heron's formula
MR Num:2
• ### Tot_info

Keywords :
Functionality : Given a test case have $n$ tables $T_s=\{t^s_1,t^s_2,\ldots ,t^s_n\}$.For each table $t^s_i \in T_s$,tot_info prints $(info)^s_i,(df)^s_i$ and $q^s_i$,where $(info)^s_i,(df)^s_i$ and $q^s_i$ denote the Kullbacks information measure,the degree of freedom and the possibility density of $\chi^2$ distribution of $t^s_i$,respectively.In addition, tot_info prints $(tot\_info)^s,(tot\_df)^s$ and $(df)^s_i$,respectively,and $q^s$ is the possibility density of $\chi^2$ distribution calculated with $(tot\_info)^s$ and $(tot\_df)^s$
MR Num:3
• ### HRRN scheduling algorithm

Keywords :
Functionality : Highest Response Ratio Next (HRRN) scheduling algorithm(non-preemptive), which is one of the dynamic priority algorithms.
MR Num:6
• ### Calculate area and perimeter of a polygon

Keywords :
Functionality : To calculate area and perimeter of a polygon.
MR Num:1
• ### SparseMatrixMultiply

Keywords :
Functionality : Conducting the multiplication of two sparse matrices
MR Num:22
• ### MinimizeDFA

Keywords :
Functionality : Transforming a given deterministic finite automaton (DFA) into an equivalent DFA that has minimum number of states based on Hopcroft’s algorithm.
MR Num:16
• ### SCP/ KLP

Keywords :
Functionality : Finding the smallest subset of O(objects) that satisfies all requirements in R(requirements).
MR Num:9
• ### Set Cover

Keywords :
Functionality : Solving the so-called set cover problem,which is also named key-lock problem.
MR Num:15
• ### Filter Feature Selection (FS) algorithm

Keywords :
Functionality : Playing a critical role in many data-intensive areas.
MR Num:10

View all Related

View all New