Rezultati pretraživanja
  1. 8. stu 2018.

    We are happy to announce that the paper "HAMPI: a solver for string constraints" by Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, published in the ISSTA 2009 proceedings, has been selected to receive the ISSTA 2019 Impact Paper Award.

    6 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
  2. 1. svi 2019.

    Happy to announce that our paper "Codebase-Adaptive Detection of Security-Relevant Methods" with and has been accepted at ! Goran wil be presenting it in Beijing in July! //

    8 proslijeđenih tweetova 34 korisnika označavaju da im se sviđa
  3. 1. svi 2019.

    Happy to announce that our paper "Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing" by and has been accepted to appear in 😊🥳

    7 proslijeđenih tweetova 56 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  4. 15. srp 2019.

    Giovanni talking at about his PhD research on improving effectiveness and focus of unit tests

    1 reply 2 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  5. 15. srp 2019.

    If you are at and interested in software performance, come and talk to me, I am here all week

    presenting his PhD research at ISSTA 19 DocSym!
    1 reply 6 proslijeđenih tweetova 9 korisnika označava da im se sviđa
  6. 12. lip 2019.

    And the program is out! Preprint available in the description of the paper

    8 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  7. 15. srp 2019.

    人山人海 - translates to "People Mountain, People Sea". Yup, I'm in Beijing for

    1 reply 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  8. 7. svi 2019.

    A preliminary list of accepted papers is available! Note: The list does not contain conditionally accepted papers. The final list of accepted papers will be published in early June.

    5 proslijeđenih tweetova 17 korisnika označava da im se sviđa
  9. 24. svi 2019.

    I'll be giving a tool demo of , our Java fuzzing platform, at in Beijing. JQF powers junit-quickcheck property tests with coverage-guided algorithms such as Zest and PerfFuzz! Preprint:

    7 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  10. 26. svi 2019.

    I'm happy to announce that the preprint of our paper: "Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs" is now available under:

    3 proslijeđena tweeta 9 korisnika označava da im se sviđa
  11. 6. stu 2018.

    Mooctest has been our gold sponsor.

    1 korisnik označava da mu se sviđa
  12. 1. svi 2019.

    Great news today! Looking forward to present our work at in Beijing!

    Happy to announce that our paper "Codebase-Adaptive Detection of Security-Relevant Methods" with and has been accepted at ! Goran wil be presenting it in Beijing in July! //
    1 reply 1 proslijeđeni tweet 17 korisnika označava da im se sviđa
  13. 12. lip 2019.

    program is out and our paper's preprint is now available as well: "TBar: Revisiting Template-based Automated Program Repair" ---

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
  14. 1. svi 2019.

    First results of our project for detection of security-relevant methods will be published

    Great news today! Looking forward to present our work at in Beijing!
    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
  15. 27. svi 2019.

    talking about API misuses at full paper on the topic accepted at will soon be available

    3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  16. 13. lip 2019.

    ISSTA 2019 Program Available Early registration is available until June 15th. Online Registration:

    3 korisnika označavaju da im se sviđa
  17. 31. svi 2019.

    Artifacts evaluated as: "Functional" + "Reusable". Thanks for the hard work AEC! I've been on these before and know how time consuming it can be to review artifacts. Highly recommended the artifact evaluation process for future open science.

    Our paper on Semantic Fuzzing will appear in ! Zest combines property-based testing (QuickCheck) with AFL-style coverage-guided fuzzing. Zest is integrated into , our Java fuzzing platform. Preprint: Source + tutorials:
    7 korisnika označava da im se sviđa
  18. 7. svi 2019.

    ISSTA 2019 online registration is now open. Attendees are advised to registration as early as possible to enjoy the early registration rate (available until June 15th), and to request conference invitation letters for visa application.

    2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
  19. 8. svi 2019.

    You can find our paper "Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs" in this list of accepted paper too.👇 Which other paper are you interested in reading/attending the talk? 📚

    A preliminary list of accepted papers is available! Note: The list does not contain conditionally accepted papers. The final list of accepted papers will be published in early June.
  20. 18. srp 2019.

    Last but not least after this busy week for STG and RT members, will present his paper . If you want to know more about how to understand the soundness, the relevance and the capabilities of a call graph algorithm, you shouldn't miss the talk.

    3 korisnika označavaju da im se sviđa

Nema rezultata.

Č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.