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 条
  • [21] Feedback-based Topological Mechanical Metamaterials
    Sirota, L.
    Lahini, Y.
    Ilan, R.
    Shokef, Y.
    2020 FOURTEENTH INTERNATIONAL CONGRESS ON ARTIFICIAL MATERIALS FOR NOVEL WAVE PHENOMENA (METAMATERIALS), 2020,
  • [22] Feedback-based Fabric Strip Folding
    Petrik, Vladimir
    Kyrki, Ville
    2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2019, : 773 - 778
  • [23] Feedback-based optimization of a private cloud
    Ghanbari, Hamoun
    Simmons, Bradley
    Litoiu, Marin
    Iszlai, Gabriel
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2012, 28 (01): : 104 - 111
  • [24] Cross-layer feedback-based resilient coding for video transmission over uplink cellular network
    Zhang, Chongyang
    Yang, Hua
    Yu, Songyu
    Fang, Xiangzhong
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2007, 53 (02) : 506 - 512
  • [25] Design of Feedback Gain in Feedback-Based Iterative Learning Control
    Sebastian, Gijo
    Tan, Ying
    Oetomo, Denny
    Mareels, Iven
    2017 11TH ASIAN CONTROL CONFERENCE (ASCC), 2017, : 875 - 880
  • [26] Feedback-Based Channel Frequency Optimization in Superchannels
    Locatelli, F.
    Christodoulopoulos, K.
    Delezoide, C.
    Fabrega, J. M.
    Moreolo, M. Svaluto
    Nadal, L.
    Mahajan, A.
    Spadaro, S.
    JOURNAL OF LIGHTWAVE TECHNOLOGY, 2024, 42 (13) : 4467 - 4475
  • [27] Feedback-Based Admission Control for Task Allocation
    Dziurzanski, Piotr
    Ghazzawi, Hashem Ali
    Indrusiak, Leandro Soares
    2014 9TH INTERNATIONAL SYMPOSIUM ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), 2014,
  • [28] A modular positive feedback-based gene amplifier
    Nistala G.J.
    Wu K.
    Rao C.V.
    Bhalerao K.D.
    Journal of Biological Engineering, 4 (1)
  • [29] Combining Interaction and Content for Feedback-Based Ranking
    Di Buccio, Emanuele
    Melucci, Massimo
    Song, Dawei
    MULTIDISCIPLINARY INFORMATION RETRIEVAL, 2011, 6653 : 46 - 61
  • [30] An Image Clustering and Feedback-based Retrieval Framework
    Zhang, Chengcui
    Zhou, Liping
    Wan, Wen
    Birch, Jeffrey
    Chen, Wei-Bang
    INTERNATIONAL JOURNAL OF MULTIMEDIA DATA ENGINEERING & MANAGEMENT, 2010, 1 (01): : 55 - 74