Two new research papers for LIF researchers

Professors Sylvain Hallé and Raphaël Khoury, both members of LIF, have just learned that two of their research papers have been accepted for presentation at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), to be held in Santa Barbara, CA, next July. Both papers have been submitted to the Demo Tools Track, which showcases concrete implementations of systems related to the testing of software.

The first paper, “SealTest: A Simple Library for Test Sequence Generation”, describes a library for generating test sequences based on a specification. Simply put, a user can describe how a given system is supposed to work (using a special kind of flowchart called a sequence diagram), and SealTest will come up with different sequences of operations that are expected to test the system in various situations. A few researchers have tackled this problem in the past; SealTest makes it possible to integrate all their algorithms into a single framework, allowing them to be compared experimentally. The SealTest library is freely available online under an open source license.

The second paper, “LabPal: Repeatable Computer Experiments Made Easy”, addresses the issue of reproducibility of experimental results: a pervasive problem in computer science where researchers report on experimental data, without providing the means (source code, files, etc.) for others to easily reproduce their results. LabPal is a Java library, designed at LIF, to easily create and run experiments on a computer. Among its features, it provides a user-friendly web console and the possibility of saving all experiment input and output data in an open format. These functionalities greatly reduce the amount of scripting needed to run experiments on a computer, and simplify their re-execution by independent parties. Like SealTest, LabPal is also freely available online under an open source license.

ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.


One comment on “Two new research papers for LIF researchers
  1. That is some great news. LabPal is a great idea and it’s nice to see projects like these hosted on GitHub. Good luck with your presentations.

  2. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Cheers! I value this!

    viagra online paypal viagra testamonials
    generic viagra 100mg
    viagra without a prescrition – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  3. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Whoa lots of superb data!

    viagra doses how many milligrams find viagra free sites computer href
    viagra online
    viagra blogs – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  4. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Tips well applied..

    why is viagra legal in mexico can you chew viagra
    viagra pills
    is viagra effected by grapefruit juice – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  5. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thank you. Awesome information.

    viagra research article abstract procedure viagra generic europe
    generic viagra 100mg
    viagra best used – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  6. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Superb info. Thank you.

    wanting to purchase some viagra before and after viagra sex vids
    viagra online
    generic viagra truth – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  7. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thanks! I value it!

    fedex viagra no prescription orexis is better than viagra
    viagra for sale uk
    generic viagra kamagra caverta pillshoprxcom – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  8. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thanks a lot! I like this.

    compare viagra cialis female viagra review
    cheap viagra
    viagra from stores – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  9. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Whoa loads of beneficial knowledge!

    edinburgh pages viagra find sites vision problems while using viagra
    generic viagra online
    free sample of viagra or cialis – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  10. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You reported it well!

    steroids and viagra dangers pfizer viagra and its cautions
    viagra without a doctor prescription
    cheep viagra uk – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  11. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Nicely put. Thanks a lot.

    viagra and attacks heart cialis vs viagra insomnia
    viagra generic
    all natural viagra alternative – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  12. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Valuable info. Regards.

    bying viagra ontario buying real viagra online
    viagra 100mg
    viagra generic cheap fast – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  13. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Fantastic info. Thanks a lot!

    canadian approved female viagra viagra cuddly chemical
    viagra online
    masturbation viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  14. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You expressed this very well!

    lyrics abracabra im up like viagra viagra overnight deliver western union
    buy generic viagra
    is viagra generic – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  15. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    With thanks, Good information.

    poor man’s viagra vetrinarian viagra
    buy viagra online
    teenney transplant viagra – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  16. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Whoa lots of wonderful data!

    viagra premature ejackulation viagra alzeimers
    viagra online
    chewable viagra – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  17. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Awesome stuff. Many thanks!

    taking viagra after transient ischemic attack calcium channel blockers viagra
    generic viagra 100mg
    viagra george w bush conservative opposition – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  18. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Whoa a lot of good information.

    ringing ears after using viagra where is viagra pro manufactures
    generic viagra 100mg
    viagra mixed – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  19. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Amazing many of useful advice!

    generic viagra bet price result viagra
    generic viagra
    sample free herbal viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  20. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    This is nicely put. .

    generic overnight viagra male viagra cream
    generic viagra
    how to ask doctor for viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  21. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Excellent information. Cheers.

    priaprism viagra miss viagra fest spring river
    viagra 100mg
    men on viagra tubes – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  22. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You actually explained that exceptionally well!

    cheapest price for viagra cipla generic viagra
    generic viagra online
    viagra phonics – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  23. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Awesome data. Thanks a lot!

    online viagra utah viagra 50 mg from canadian pharmacy
    buy generic viagra
    leg pain viagra – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  24. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Beneficial material. Thanks!

    perscription drug viagra splitting viagra
    generic viagra
    taking viagra and xanax – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  25. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Nicely put, Kudos.

    viagra testimonials from wifes viagra eyes
    viagra for women
    viagra 100mg sildenafil citrate pfizer labs – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  26. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Nicely put, With thanks.

    viagra 35008 cheapest genuine viagra tablets
    generic viagra
    cilias viagra europe – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  27. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    With thanks. A good amount of tips!

    reply viagra buy can chanson viagra
    viagra without a doctors prescription
    viva viagra slogan – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  28. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Nicely put, Cheers!

    online viagra canada buy discount viagra online
    viagra 100mg
    buy viagra search find free – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  29. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thanks, I value it!

    viagra heart racing side effects of snorting viagra
    viagra for women
    can viagra help after prostate surgery – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  30. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You actually explained this effectively.

    does viagra require prescription macular degeneration caused by viagra
    buy generic viagra
    australian customs import antibiotics viagra – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  31. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Wow a lot of awesome knowledge!

    me on viagra nude order viagra without prescription
    generic viagra 100mg
    order viagra viagra – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  32. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You revealed it perfectly!

    viagra india mail order viagra telephone
    viagra generic
    he took viagra cartoon – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  33. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Nicely put. Kudos!

    unions fight for viagra viagra pill for woman
    generic viagra
    can viagra cause peyronies disease – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  34. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Incredible many of terrific tips.

    viagra falls will hydrochlorothiazide affect viagra
    generic viagra 100mg
    watermelon rinds viagra – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  35. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Reliable forum posts. With thanks.

    ribavirin and viagra in combination tadalafil cialis vs viagra
    viagra generic
    online viagra soft – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  36. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You’ve made your point!

    tricked into taking viagra 2003 apcalis levitra market sales viagra
    buy viagra
    viagra drug interactions and side effects – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  37. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thanks a lot! Ample postings.

    viagra prices virginia walmart buy sildenafil viagra
    buy viagra online
    cvs viagra cost – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  38. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thanks, Excellent information!

    subaction showcomments viagra smiled newest viagra low price
    viagra for women
    sildenafil citrate viagra – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  39. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thank you. A lot of forum posts.

    where to buy viagra in india does pink viagra work
    buy generic viagra
    babys lungs and viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  40. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Perfectly expressed without a doubt. .

    find viagra online viagra cialis from canada
    cheap viagra
    emanuelle viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  41. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    This is nicely said! !

    viagra indications viagra lolo
    generic viagra
    new zealand pharmacies with viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  42. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Appreciate it. A good amount of info!

    heart attack viagra viagra online order viagra
    viagra without a doctors prescription
    increase libido female viagra – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  43. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You’ve made your point!

    how to buy viagra cheap who sings viva viagra
    viagra without a doctor prescription
    is there a natural viagra – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  44. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thank you! I appreciate this.

    viagra warning viagra adverse symptoms
    generic viagra 100mg
    is there any legitimate viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  45. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Amazing stuff, Cheers!

    viagra without prescription milwakee viagra genetic
    buy viagra online
    viagra prescription cost – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  46. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Useful tips. Regards.

    cialis viagra ranbaxy cheap pfizer stock quote before viagra
    viagra online
    get pregnant using viagra – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  47. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Nicely put. Thanks a lot!

    ja rule viagra are coreg and viagra compatilble
    buy viagra online
    maximum dose viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  48. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Beneficial data. With thanks!

    edinburgh search find results viagra craigslist toronto viagra cialis
    viagra for women
    denny’s restrautant in trouble over viagra – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  49. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    You explained this exceptionally well!

    health benefits of viagra cars in viagra commercial chevy nova
    viagra for women
    propecia viagra – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  50. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Thank you! A good amount of data!

    novocaine interaction with viagra increase cost of viagra
    viagra without a doctor prescription
    viagra compare prices – https://genericviagrantx.com

    Geraldted
    DwayneScoto
    KevinMem

  51. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Helpful content. Appreciate it!

    viagra and hystamine release generic viagra overnight deliver western union
    buy viagra
    viagra online best – https://genericviagrarcp.com

    Geraldted
    DwayneScoto
    KevinMem

  52. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Point certainly used..

    cheap india viagra viagra adverrtising
    viagra 100mg
    any medication make viagra less effective – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

  53. LarryRourb says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Very well spoken without a doubt! .

    viagra cheap pharmacy iframe viagra herbal alternative
    generic viagra 100mg
    viagra and coke – https://genericviagramsl.com

    Geraldted
    DwayneScoto
    KevinMem

Leave a Reply

Your email address will not be published. Required fields are marked *

*

Top