Dirk Beyer

@beyer_dirk

Professor for Software Engineering and Programming Languages at Ludwig-Maximilians-Universität München (LMU)

Munich, Bavaria
sosy-lab.org/~dbeyer
Vrijeme pridruživanja: prosinac 2012.
6 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @beyer_dirk

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @beyer_dirk

  1. 22. pro 2019.

    The best test generator for branch coverage is LibKluzzer (Uni Bremen, Germany). The second-best is VeriFuzz (Tata Consulting, India). Third is the cooperative verifier CoVeriTest (TU Darmstadt, Germany).

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  2. 22. pro 2019.

    The best test generator for finding a specification violation is VeriFuzz (Tata Consulting, India). The second-best is LibKluzzer (Uni Bremen, Germany). The third is the model checker ESBMC (UNi Manchester, UK).

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  3. 22. pro 2019.

    The 2nd International Competition on Software Testing published the results:

    5 proslijeđenih tweetova 8 korisnika označava da im se sviđa
    Poništi
  4. 19. pro 2019.

    Congratulations to all participants and winners of SV-COMP 2020! Score-based quantile plot for Overall is here:

    3 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  5. 19. pro 2019.

    Java-Ranger (Uni Minnesota) is the best verifier for Java programs.

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  6. 19. pro 2019.

    CPAchecker CPA-Seq (LMU) won the categories FalsificationOverall and Overall of SV-COMP 2020.

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  7. 19. pro 2019.

    CPAchecker CPA-Seq (LMU) is the best verifier for detecting overflows. Ultimate Automizer (Uni Freiburg) is the best verifier for termination checking. Symbiotic (Masaryk Uni) is the best verifier for large software systems.

    4 korisnika označavaju da im se sviđa
    Poništi
  8. 19. pro 2019.

    VeriAbs (Tata Consulting) is the best verifier for reachability properties of C programs. PredatorHP (TU Brno) is the best verifier for memory safety. Lazy-CSeq is the best verifier for multi-threaded programs.

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  9. 19. pro 2019.

    9th Competition on Software Verification (SV-COMP 2020) has announced the results. Have a look:

    8 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  10. 4. pro 2019.

    VMCAI 2020 Winter School (colo with POPL, New Orleans) can still accept a few applicants. Please inform your PhD students.

    5 proslijeđenih tweetova 5 korisnika označava da im se sviđa
    Poništi
  11. 25. stu 2019.

    LMU Munich hosts the Public Climate School! Come visit our events! Organized by:

    1 reply 2 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  12. 31. lis 2019.

    TAP 2020: 14th Conference on Tests and Proofs: Call for papers is out:

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  13. 30. ruj 2019.

    Take note: VMCAI 2020 (New Orleans, co-lo with POPL) abstract submission is October 1, paper submission is October 6.

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  14. 19. ruj 2019.

    Ein 35 Jahre alter Song (Puhdys, DDR), hochaktuell:

    Poništi
  15. 7. kol 2019.

    13th International Conference on Tests and Proofs (TAP 2019) Program is available. Early registration until Sept 10.

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  16. 3. kol 2019.

    Paper "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators" accepted for presentation at ATVA 2019.

    7 korisnika označava da im se sviđa
    Poništi
  17. 3. lip 2019.

    Support the Vienna Manifesto on Digital Humanism. Consider signing this:

    1 proslijeđeni tweet
    Poništi
  18. 28. tra 2019.

    Alpine Verification Meeting 2019 takes place in Brno in September.

    2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    9. tra 2019.

    Did you miss 's tutorial on software verification at ? You can find his slides here:

    7 proslijeđenih tweetova 6 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    6. tra 2019.

    At 1st Test-Comp () with , representing . Thanks to for starting Test-Comp, I hope to see more testing tools and larger benchmarks in the 2nd edition.

    5 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Poništi

@beyer_dirk još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·