Advanced search

Found 5 essays matching the above criteria.

  1. 1. Filtering False Positive Alarms in JavaDL and Language Experience Report

    University essay from Lunds universitet/Institutionen för datavetenskap

    Author : Karl-Oskar Rikås; Frank Weslien; [2021]
    Keywords : static program analysis; alarm filtering; feature engineering; Technology and Engineering;

    Abstract : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. READ MORE

  3. 2. Automated Bug Classification. : Bug Report Routing

    University essay from Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Filosofiska fakulteten

    Author : Sridhar Adhikarla; [2020]
    Keywords : ;

    Abstract : With the growing software technologies companies tend to develop automated solutions to save time and money. Automated solutions have seen tremendous growth in the software industry and have benefited from extensive machine learning research. READ MORE

  4. 3. Event Correlated Usage Mapping in an Embedded Linux System - A Data Mining Approach

    University essay from Lunds universitet/Institutionen för reglerteknik

    Author : Anton Norell; Oscar Linde; [2015]
    Keywords : Generalized Sequential Pattern; Debugging; Embedded Linux; Logging; Data mining; Technology and Engineering;

    Abstract : A software system composed of applications running on embedded devices could be hard to monitor and debug due to the limited possibilities to extract information about the complex process interactions. Logging and monitoring the systems behavior help in getting an insight of the system status. READ MORE

  5. 4. Concurrent Software Testing : A Systematic Review and an Evaluation of Static Analysis Tools

    University essay from Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikation

    Author : Md. Abdullah Al Mamun; Aklima Khanam; [2009]
    Keywords : Systematic review; concurrent software testing; testing techniques and tools; test case generation; benchmark; static analysis tools; concurrency bugs; bug patterns;

    Abstract : Verification and validation is one of the most important concerns in the area of software engineering towards more reliable software development. Hence it is important to overcome the challenges of testing concurrent programs. The extensive use of concurrent systems warrants more attention to the concurrent software testing. READ MORE

  6. 5. Validation of Machine Learning and Visualization based Static Code Analysis Technique

    University essay from Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikation

    Author : Waqas Mahmood; Muhammad Faheem Akhtar; [2009]
    Keywords : Static code analysis; NCD classification; security vulnerabilities; early defect detection; software validation;

    Abstract : Software security has always been an afterthought in software development which results into insecure software. Companies rely on penetration testing for detecting security vulnerabilities in their software. However, incorporating security at early stage of development reduces cost and overhead. READ MORE