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. AndrewCix says:
    Your comment is awaiting moderation. This is a preview, your comment will be visible after it has been approved.

    Whoa tons of wonderful facts.

    nitrous oxide and viagra expirimental viagra use for breathing conditions
    generic viagra 100mg
    viagra wiki – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thanks, I like this.

    find sites computer shop viagra free does outdated viagra still work
    generic viagra
    viagra on sale in france – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You actually suggested it exceptionally well.

    viagra withour prescription free viagra catalog
    buy viagra online
    why india viagra laws patent – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You mentioned this superbly.

    viagra wisecracks equivalence dosage viagra vs cialis
    viagra for sale uk
    age recommended for taking viagra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Helpful facts. With thanks!

    cyalis versus viagra womens issues viagra
    generic viagra 100mg
    amyl nitrate erection viagra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Tips very well considered.!

    drugs giant viagra pill cialis men purchasing 50 mg viagra on line
    buy viagra
    viagra versus cialis versus levitra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You’ve made your stand extremely effectively!.

    viagra online prescription using less viagra
    cheap viagra
    bought viagra in a night club – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You actually reported it well!

    chinese viagra stree email virus viagra
    buy generic viagra
    patent viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

  10. AndrewCix 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 stuff!

    viagra loss of vision viagra for woman
    viagra online
    viagra without prescription sample – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Wow loads of wonderful advice!

    cough cialas viagra viagra find sites computer free
    viagra online
    viagra prescriptions – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Awesome content. Thank you.

    viagra find buy cheap search generic viagra hotline
    viagra 100mg
    what if viagra doesnt work – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    With thanks. Good stuff.

    viagra hyper viagra exam erection problems cleavage
    generic viagra online
    does viagra help with stamina – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Cheers, Plenty of postings!

    canadian pharmacy cheap viagra reasons to use viagra
    viagra for women
    prazosin impotence viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Truly plenty of awesome knowledge.

    find viagra free online pages edinburgh dublin viagra
    viagra generic
    viagra propecia buy online – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Kudos! Ample forum posts!

    u 5672 viagra color of viagra
    generic viagra
    woman version of viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Kudos. Very good stuff.

    best time to take viagra 50mg poor man’s viagra
    viagra without a doctor prescription
    paris france cheep viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You actually mentioned that terrifically.

    rutabaga viagra viagra under tongue
    viagra without a doctors prescription
    viagra triangle chicago – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You explained it terrifically.

    ecstacy viagra cialis levitra viagra free sample
    cheap viagra
    online buy viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Incredible a lot of wonderful material!

    viagra allergic reactions hairy viagra
    generic viagra online
    heart attacks viagra – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Regards! I like this.

    viagra options viagra versus cialis versus levitra
    viagra online
    viagra lowers blood pressure – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thanks. A good amount of stuff!

    viagra sperm quality acheter viagra en ligne de suisse
    buy viagra online
    viagra used for cardiac issues – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Nicely put, Thanks!

    subaction showcomments viagra optional older free viagra spinal cord injuries
    viagra for women
    buy herbal viagra jellys – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Cheers. I like it!

    does viagra increase penis size cost viagra cialis
    cheap viagra
    cheap viagra sales – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Helpful knowledge. Cheers.

    the viagra myth viagra herb
    viagra online
    doees viagra work for women – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Tips effectively used.!

    herbal viagra cartridges viagra pharmaceutical company
    buy viagra online
    will epinephrine safely counteract viagra – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You actually mentioned that adequately.

    viagra nyship 2007 generic viagra compared
    viagra 100mg
    gay sleep viagra camera – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You mentioned that adequately!

    viagra vs arginine time to take effect viagra
    buy viagra online
    medical reimbursement and viagra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Many thanks! An abundance of tips!

    chinese viagra 5 viagra lawsuits settled in august 2010
    cheap viagra
    viagra dallas no prescription online – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You actually suggested that very well!

    buy viagra online at herbal viagra london
    cheap viagra
    viagra result photos – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Regards, Wonderful stuff.

    bargain viagra purchase viagra soft tabs
    generic viagra 100mg
    viagra indications – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Incredible lots of excellent info.

    viagra’s head office photos find how to use viagra
    viagra 100mg
    viagra free sites computer find href – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Superb info, Kudos!

    viagra r celery as viagra
    viagra 100mg
    propecia sexual side effects take viagra – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

  34. AndrewCix 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 very nicely..

    viagra memory caverta generic viagra caverta caverta pillshoprxcom
    cheap viagra
    viagra spot pub – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Many thanks, Ample posts!

    discount viagra cialis levitra online canada senator bob dole viagra
    viagra for sale uk
    try three for free cialis viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Really a lot of excellent advice.

    testosterone viagra viagra malfunction
    viagra for women
    young viagra users – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thanks a lot! Useful information.

    recent status of viagra lawsuits online viagra uk
    viagra online
    does viagra prevent ejaculation – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Kudos, I like it.

    generic viagra vega sildenafil citrate viagra symbol
    buy viagra online
    can you get viagra on prescription – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thanks, Excellent stuff.

    viagra pricelist 100mg red viagra
    viagra for sale uk
    indian viagra safety – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You actually stated it well.

    viagra in baltimore trial viagra
    viagra online
    topical viagra oil – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Point effectively applied!!

    viagra best piece testimonials viagra
    viagra without a doctor prescription
    generic viagra pages edinburgh find – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Amazing data. Appreciate it!

    viagra enhanced dicks generic viagra overnight u s delivery
    generic viagra online
    viagra niacin – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Really lots of good info.

    cheapest generic viagra and cialis pills viagra long term side-effects
    buy viagra online
    pros and cons viagra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    With thanks. I enjoy this.

    viagra will what onde comprar a viagra no brasil
    generic viagra 100mg
    purchase viagra soft tabs – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Wow all kinds of terrific facts.

    strong viagra where can i buy viagra online
    viagra online
    viagra subitute – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Many thanks, Plenty of facts.

    a href order viagra online a viagra super store
    viagra for sale uk
    rapid dissolve viagra – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thank you, Helpful information.

    buy 100 mg viagra viagra sperm quality
    viagra pills
    is generic viagra safe – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Really many of very good advice.

    sale viagra same day viagra
    generic viagra 100mg
    comparison of levitra and viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Regards. Ample content.

    roomid 71 viagra india generic viagra legal
    generic viagra 100mg
    viagra healing – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Amazing write ups. Appreciate it!

    viagra vision loss 2007 viagra online sales
    viagra without a doctor prescription
    viagra beijing – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Awesome write ups. Thanks.

    risks in taking viagra viagra fast shipping
    viagra for sale uk
    edinburgh uk news pages viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Effectively voiced indeed! .

    coupons for cialis viagra or levitra cialis levitra link pharmacies com viagra
    buy viagra
    edinburgh viagra good search pages find – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Many thanks, Plenty of material.

    female viagra tablets cheap canadas viagra number online pharmacy
    buy generic viagra
    is there generic viagra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    This is nicely said. !

    scams vignor herbal viagra viagra size change
    viagra for women
    2cialis levitra sales viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Nicely spoken truly! .

    health risks viagra best generic viagra prices
    generic viagra 100mg
    online order viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Great stuff. Kudos.

    find viagra pages edinburgh free discount viagra furthermore cheap adipex reviews
    generic viagra 100mg
    how viagra work – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Amazing information. Kudos.

    viva viagra music pfizer viagra for sale
    viagra generic
    viagra generic canada – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You said it nicely..

    cheapest viagra online increased libido from viagra
    buy viagra
    viagra and hair growth – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Cheers! I enjoy this.

    viagra cialis levitra candian pharmacy safe g postmessage viagra guest reply
    buy viagra
    viagra xanax interactions – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Incredible lots of amazing knowledge.

    non persription viagra cialis vs viagra vs levitra
    viagra without a doctors prescription
    viagra head quarters – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Nicely put, Appreciate it!

    viagra alcahol eyesight viagra
    generic viagra
    viagra order online – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    You’ve made the point.

    medical alerts on viagra dog eats viagra
    generic viagra 100mg
    viagra logo items – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Well voiced without a doubt. !

    buy viagra site china viagra
    viagra without a doctors prescription
    lowest viagra price usa pharmacies – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thanks a lot. A lot of data!

    veeline viagra viagra best price
    buy viagra online
    is there a female viagra – https://genericviagramsl.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Good stuff, Thank you.

    viagra overdose danger taking levitra and viagra together
    buy viagra
    free sample viagra womens – https://genericviagrarcp.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thank you. Plenty of advice!

    viagra sale uk mail order persuasive essay sample viagra
    buy viagra
    pharmacy viagra – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

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

    Thanks. Plenty of write ups.

    viagra triangle chicago viagra money settlements in 2010
    generic viagra online
    buying viagra on weekends – https://genericviagrantx.com

    DavidMoure
    TerenceBes
    VictorUtisk

Leave a Reply

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

*

Top