Essays about: "tcs"

Showing result 11 - 15 of 25 essays containing the word tcs.

  1. 11. Application of Topic Models for Test Case Selection : A comparison of similarity-based selection techniques

    University essay from Linköpings universitet/Programvara och system

    Author : Kim Askling; [2019]
    Keywords : test automation; test case selection; machine learning; latent dirichlet allocation; differential evolution; testautomation; testfallsselektion; maskininlärning; latent dirichlet allocation; differentiell evolution;

    Abstract : Regression testing is just as important for the quality assurance of a system, as it is time consuming. Several techniques exist with the purpose of lowering the execution times of test suites and provide faster feedback to the developers, examples are ones based on transition-models or string-distances. READ MORE

  3. 12. Building verification database and extracting critical scenarios for self-driving car testing on virtual platform

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Kaige Tan; [2019]
    Keywords : ;

    Abstract : This degree project, conducted at Volvo Cars, investigates a method about how to build a test database for an Autonomous Driving (AD) function on a virtual platform and how to extract critical scenarios from the test database to finish test cases reduction through optimization. The virtual platform under study is the model-in-the-loop (MIL) based Simulation Platform Active Safety (SPAS) environment and the optimization tool being used is modeFrontier. READ MORE

  4. 13. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Didrik Lundberg; [2018]
    Keywords : HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

    Abstract : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. READ MORE

  5. 14. Executive Summaries in Software Model Checking

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Lasse Berglund; [2018]
    Keywords : program verification; software engineering; concurrent programming; model checking; software model checking;

    Abstract : Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in the model. It is a well-developed technique, but it suffers from some issues, perhaps most importantly the state space explosion problem. READ MORE

  6. 15. Opinion analysis of microblogs for stock market prediction

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Carl Holmqvist; [2018]
    Keywords : Machine learning; Sentiment analysis; Stock market prediction;

    Abstract : This degree project investigates if a company’s stock price development can be predicted using the general opinion expressed in tweets about the company. The project starts off with the model from a previous project and then tries to improve the results using state-of-the-art neural network sentiment analysis and more tweet data. READ MORE