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

    Nicely voiced without a doubt! .

    compare viagra with kamagra new york kamagra about viagra
    viagra 100mg
    find viagra free online search – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Awesome write ups. Kudos!

    vasodilator viagra cheap generic viagra without prescription
    viagra generic
    herbal supplement for viagra – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You revealed that wonderfully!

    viagra interaction clonidine hcl fake generic viagra
    viagra generic
    does female viagra work – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Kudos, A good amount of information!

    generic viagra pages edinburgh impotent because nervous viagra
    viagra for women
    find search viagra free computer edinburgh – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You said it perfectly.!

    pantyhose or viagra my viagra did not work
    viagra online
    viagra cheap canada – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Seriously a good deal of excellent material.

    boots viagra reid viagra
    viagra for sale uk
    best deal generic viagra – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Truly a lot of helpful tips!

    viagra versus birth control viagra windsor
    generic viagra 100mg
    waiting period for viagra – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You actually mentioned that very well!

    viagra buy uk free sample viagra vs cialis
    buy generic viagra
    super viagra – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Appreciate it, Plenty of knowledge!

    taking viagra over the counter viagra australia
    generic viagra 100mg
    viagra and amlodipine – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Many thanks. Numerous information!

    re buy viagra viagra diazide
    generic viagra online
    edinburgh viagra search pages find – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Kudos, I enjoy it.

    levitra cialis and viagra fox news viagra women prozac
    generic viagra 100mg
    generic viagra canadian pharmacy – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You actually explained this wonderfully.

    discrete viagra australia pictures of a penis on viagra
    generic viagra
    retail price of viagra – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You actually mentioned that perfectly.

    celery and viagra drinking wine with viagra
    viagra pills
    walmart female viagra – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    With thanks, A lot of information!

    what medical insurance programs cover viagra viagra for pulmonary
    viagra for women
    generic money order viagra – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Amazing all kinds of awesome facts!

    viagra canadian tv ads lowest prices viagra
    viagra for women
    congressman wants to ban viagra ads – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You actually revealed it wonderfully!

    legal viagra online viagra funny video
    viagra for women
    investing in a herbal viagra scam – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Really quite a lot of amazing tips!

    viagra rx online edinburgh uk viagra find search pages
    viagra without a doctor prescription
    viagra melt aways – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You actually reported this perfectly.

    discount generic viagra blue pill top viagra online sales
    viagra for women
    awesome viagra bull – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You definitely made the point!

    subaction showcomments viagra archive posted daily use viagra
    viagra pills
    getting viagra in the philippines – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Nicely put, Thanks!

    video using viagra viagra buy price iframe
    generic viagra
    viagra 150 – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Really quite a lot of excellent information!

    the 7dwarfs using viagra dosage viagra
    viagra 100mg
    wanting to purchase some viagra – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Terrific write ups. Thank you!

    safety of generic viagra cfnm viagra test
    generic viagra 100mg
    on line pharmacy viagra – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    This is nicely put! !

    aspirin vs viagra pfeizer viagra program
    generic viagra
    viagra aneurysm – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You said that effectively.

    viagra best deal by viagra online
    buy viagra
    can viagra make me last longer – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You said it very well..

    holistic viagra buy online viagra viagra
    viagra pills
    what happeened when he took viagra – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Reliable data. Thank you.

    uk biggest viagra case viagra marketing effects
    viagra for sale uk
    cvs viagra price – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Whoa a good deal of helpful facts.

    picture effects of viagra viagra size
    generic viagra online
    viagra home depot price – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Thanks a lot, An abundance of advice!

    2008 medicare prescription drug viagra coverage hotmail sends viagra email
    viagra generic
    viagra lightswitch – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Well voiced really! .

    how will i feel taking viagra free trial pack of viagra
    viagra without a doctor prescription
    clonazepam and viagra – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Good material. Thanks!

    viagra boy buy viagra 1
    viagra 100mg
    generic viagra canada rx – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Many thanks. Very good information!

    viagra threapy cheapest 100mg viagra delivered overnight
    viagra for women
    cheap female viagra – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Thanks a lot. An abundance of forum posts.

    launch of viagra compare generic viagra
    viagra without a doctor prescription
    does viagra work on first dose – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Thanks a lot. Ample material.

    viagra side effects and blog viagra online without prescription
    buy generic viagra
    viagra riverside california – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Cheers. Good information.

    painful erection and viagra viagra discount viagra prescription drugs
    viagra for women
    el viagra retarda la eyaculaci n – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Thank you, Lots of stuff.

    viagra phase iii trials viagra office ontario canada
    viagra without a doctors prescription
    viagra online us news – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Appreciate it! Quite a lot of material.

    prescription for viagra in china children on viagra
    cheap viagra
    ordering viagra without prescription – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Valuable postings. With thanks.

    viagra prices virginia outdated viagra
    buy viagra
    viagra pulmonary heart pictures – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You mentioned that well!

    u 5672 viagra cheap viagra generic
    viagra for sale uk
    silagra brand name viagra penegra cumwithuscom – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Appreciate it. A lot of material.

    viagra and generic sildenafil citrate silagra viagra cardiovascular activity
    buy viagra
    generic viagra soft-100 chewable – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Thanks a lot! A good amount of knowledge.

    october 70 off viagra spam mix tadalafil and generic viagra
    viagra without a doctors prescription
    buy viagra online canada – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Seriously quite a lot of very good knowledge.

    cheapest viagra homepage drunk erection viagra
    generic viagra 100mg
    viagra mail order – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

  43. ErnestoFoomo 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 improve libido pros and cons viagra
    viagra 100mg
    viagra discovery – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Nicely put, With thanks!

    private label herbal viagra effects of viagra on women
    buy viagra online
    new viagra commercial august 2010 – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Useful advice. With thanks!

    viagra and dieting compare levitra viagra
    generic viagra 100mg
    viagra uninsured deposits – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Thanks a lot. Good stuff.

    generic cialis and viagra viagra alter
    buy viagra
    edinburgh viagra find search sites computer – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Amazing plenty of valuable data.

    viagra bromocriptine combination viagra best price on net scam
    viagra online
    how do you take viagra – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Good data. Regards.

    on line pharmacy viagra viagra london
    generic viagra
    viagra alle erbe – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Fantastic info, With thanks!

    dilantin viagra cursor called viagra
    generic viagra online
    viagra plus – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Fine advice. Many thanks.

    caverta generic veega viagra viagra knights
    viagra without a doctor prescription
    viagra sales – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    You reported that effectively.

    viagra for premature ejaculation how dose viagra work
    viagra without a doctors prescription
    find viagra free sites – https://genericviagrantx.com

    Keithpep
    Richardtum
    ErnestoFoomo

  52. ErnestoFoomo 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!

    canadian generic viagra drug manufacturer viagra and cataracts
    buy viagra
    is viagra generic – https://genericviagrarcp.com

    Keithpep
    Richardtum
    ErnestoFoomo

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

    Awesome postings. Thank you.

    viagra cialis levitra cheep drugs where can i get viagra pills
    buy viagra
    viagra on the shelf – https://genericviagramsl.com

    Keithpep
    Richardtum
    ErnestoFoomo

Leave a Reply

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

*

Top