Feedback-based specification, coding and testing with JWalk

被引:0
|
作者
Simons, Anthony J. H. [1 ]
Griffiths, Neil [1 ]
Thomson, Christopher [1 ]
机构
[1] Department of Computer Science, University of Sheffield
关键词
Compendex;
D O I
4670304
中图分类号
学科分类号
摘要
Java programming language - Software testing - Testing - Codes (symbols) - Program compilers
引用
收藏
页码:69 / 73
相关论文
共 50 条
  • [31] Feedback-based algorithm for handwritten character recognition
    Lab. of Intelligent Technol., Tsinghua Univ., Beijing 100084, China
    不详
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (05): : 476 - 482
  • [32] A query feedback-based histogram maintenance approach
    Lin, Xudong
    Zeng, Xiaoning
    ICIC Express Letters, Part B: Applications, 2015, 6 (06): : 1541 - 1546
  • [33] Game-Theoretic Feedback-Based Optimization
    Agarwal, Anurag
    Simpson-Porco, John W.
    Pavel, Lacra
    IFAC PAPERSONLINE, 2022, 55 (13): : 174 - 179
  • [34] Towards robustness guarantees for feedback-based optimization
    Colombino, Marcello
    Simpson-Porco, John W.
    Bernstein, Andrey
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6207 - 6214
  • [35] Synthesis of feedback-based design concepts for sensors
    Biplab Sarkar
    Amaresh Chakrabarti
    G. K. Ananthasuresh
    Research in Engineering Design, 2017, 28 : 131 - 151
  • [36] An informal logic of feedback-based temporal control
    Tilsen, Sam
    FRONTIERS IN HUMAN NEUROSCIENCE, 2022, 16
  • [37] Feedback-based Evaluation Tool for Web Accessibility
    Asai, Daisuke
    Watanabe, Masahiro
    Asano, Yoko
    ASSETS'07: PROCEEDINGS OF THE NINTH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS AND ACCESSIBILITY, 2007, : 223 - 224
  • [38] Feedback-Based Curriculum Learning for Collision Avoidance
    Choi, Jeongmin
    Hwang, Gyuyong
    Eoh, Gyuho
    IEEE ACCESS, 2024, 12 : 56609 - 56621
  • [39] Feedback-based Adaptation for Improved Power Consumption
    Bouras, Christos
    Kapoulas, Vaggelis
    Stamos, Kostas
    Tavoularis, Nikos
    Kioumourtzis, Georgios
    Stathopoulos, Nikos
    2013 IEEE 27TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA), 2013, : 562 - 568
  • [40] Toward Feedback-Based Web Search Engine
    Adda, Mehdi
    Missaoui, Rokia
    Valtchev, Petko
    2009 INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS: WAINA, VOLS 1 AND 2, 2009, : 756 - +