News

  • Congratulations to the paper accepted by SEAMS '16
    June 15, 2016

    Assured and correct dynamic update of controllers
    L. Nahabedian FCEN, Universidad de Buenos Aires, Argentina
    V. Braberman FCEN, Universidad de Buenos Aires, Argentina
    N. D'Ippolito FCEN, Universidad de Buenos Aires, Argentina
    S. Honiden National Institute of Informatics, Japan
    J. Kramer Imperial College London, UK
    K. Tei National Institute of Informatics, Japan
    S. Uchitel Universidad de Buenos Aires, UK
    Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS' 2016), June 2016

  • Congratulations to the paper accepted by ICST 2016
    June 15, 2016

    MuVM: Higher Order Mutation Analysis Virtual Machine for C
    Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
    IEEE International Conference on Software Testing, Verification and Validation(ICST 2016), April 2016

  • Congratulations to the paper accepted by ISSTA 2015
    June 15, 2016

    Feedback-controlled Random Test Generation
    Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
    International Symposium on Software Testing and Analysis (ISSTA 2015), July 2015

Syndicate content