The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Mobile applications with complex GUIs are very popular today. However, generating test cases for these applications is often tedious professional work. On the one hand, manually designing and writing elaborate GUI scripts requires expertise. On the other hand, generating GUI scripts with record and playback techniques usually depends on repetitive work that testers need to interact with the application...
This paper introduces the Coarse Hierarchical Delta Debugging algorithm for efficient test case reduction. It can be used as a test case simplification algorithm in its own right if theoretical minimality is not a strict requirement, or it can act as a preprocessing step to the original Hierarchical Delta Debugging algorithm. Evaluation of artificial and real test cases shows that a coarse variant...
Fuzz testing and symbolic test generation both face their own challenges. While symbolic testing has scalability issues, fuzzing cannot uncover faults which require carefully engineered inputs. In this paper I propose a combination of both approaches, compensating weaknesses of each approach with the strength of the other approach. I present my plans for evaluation, which include applications of the...
Any kind of smart testing technique must be very efficient to be competitive with random fuzz testing. State-of the-art test generators are largely inferior to random testing in real world applications. This work proposes to gather and evaluate lightweight analyses that can enable the creation of an efficient and sufficiently effective analysis-assisted fuzz tester. The analyses shall leverage information...
Test case reduction has been automated since the introduction of the minimizing Delta Debugging algorithm, but improving the efficiency of reduction is still the focus of research. This paper focuses on Hierarchical Delta Debugging, already an improvement over the original technique, and describes how its input tree and caching approach can be changed for higher efficiency. The proposed optimizations...
Testing becomes difficult when we cannot easily determine whether the system delivers the correct result or not. To address this issue, we have developed a framework for automated testing of NASA's DAT system using metamorphic testing principles combined with model based testing. Based on the results from using the framework to test DAT we have determined that this is a cost beneficial solution allowing...
Data classification is a well studied area with various techniques such as support vector machines, decision trees, neural networks and evolutionary algorithms, amongst others successfully applied to this domain. The research presented in this paper forms part of an initiative aimed at evaluating grammatical evolution, a recent variation of genetic programming, for data classification. The paper reports...
Proposed paper describes prepared corpora and the process of training and testing of statistical models of the human-human dialogue interaction. Such dialogue models can be used to model and manage human-human and human-machine dialogue interactions. Two databases of dialogues in Slovak language were prepared to provide data for training and testing. Statistical dialogue models were trained in the...
Many real-world programs take highly structured and complex files as inputs. The automated testing of such programs is non-trivial. If the test does not adhere to a specific file format, the program returns a parser error. For symbolic execution-based whitebox fuzzing the corresponding error handling code becomes a significant time sink. Too much time is spent in the parser exploring too many paths...
Nowadays the use of ICT and especially online teaching became common part of education. Also at our Faculty we have been using ICT for many years. The first online courses of German we created in 2003 and we have been continuously improving and developing them since that time. After several years of validation of courses that we created, we tried a small study, to demonstrate how effective the use...
Responding to the Association of Southeast Asian Nations (ASEAN) Community Educational Action to teach common ASEAN values in curricula and to develop materials using the United Nations Education for Sustainable Development (UN-ESD), this research aims to train teachers on how to develop interactive multimedia English as a Second Language (ESL) courseware that promotes ASEAN culture and literature...
Recently, grammar-based fuzzers have been proposed to automate the generation of testing data. Grammar-based fuzzers differ from traditional fuzzers because the fuzzer is provided a grammatical definition of the test objective for the system under test. A novel fuzzer, Policy Generator (PG), is introduced. PG utilizes a number of heuristic techniques to improve space coverage over existing fuzzers...
The automated generation of models that conform to a given meta-model is an important challenge in Model Driven Engineering, as well for model transformation testing, as for designing and exploring new meta-models. Amongst the main issues, we are mainly concerned by scalability, flexibility and a reasonable computing time. This paper presents an approach for model generation, which relies on Constraint...
Language fuzzing is a bug-finding technique for testing compilers and interpreters, its effectiveness depends upon the ability to automatically generate valid programs in the language under test. Despite the proven success of language fuzzing, there is a severe lack of tool support for fuzzing statically-typed languages with advanced type systems because existing fuzzing techniques cannot effectively...
In order to detect the Cross-Site Script (XSS)vulnerabilities in the web applications, this paper proposes a method of XSS vulnerability detection using optimal attack vector repertory. This method generates an attack vector repertory automatically, optimizes the attack vector repertory using an optimization model, and detects XSS vulnerabilities in web applications dynamically. To optimize the attack...
Security testing of web applications remains a major problem of software engineering. In order to reveal vulnerabilities, manual and automatic testing approaches use different strategies for detection of certain kinds of inputs that might lead to a security breach. In this paper we compared a state-of-the-art manual testing tool with an automated one that is based on model-based testing. The first...
Finding a method which allows a computer recognition to be close to human recognition is a goal of many works in the present. We have set this goal too. According to us, we need to find function for simple recognition of shapes in the images as first step of this goal. Result of this method provides input of our system of recognition. System form depends on the result of shape recognition method....
Financial fraud is a criminal act, which violates the law, rules or policy to gain unauthorized financial benefit. The major consequences are loss of billions of dollars each year, investor confidence or corporate reputation. A study area called Financial Fraud Detection (FFD) is obligatory, in order to prevent the destructive results caused by financial fraud. In this study, we propose a new method...
We propose and implement a new approach, Document-Assisted Symbolic Execution (DASE), to improve automated test generation and bug detection. DASE leverages natural language processing techniques and heuristics to analyze program documentation to extract input constraints automatically. DASE then uses the input constraints to guide symbolic execution to focus on inputs that are semantically more important...
Mobile technology in learning process is quite demanding, nowadays. It has a huge potential as a learning tool and also can be used as distance learning environment. Towards this, many mobile learning application tools have been developed in order to meet the user demand. This generates the idea of developing Arabic grammar learning tool due to most of people especially UiTM Kedah students have lack...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.