Lightweight Code Assurance Proof for Wireless Software.
Theo Gamboni-DiehlSimeon WuthierJinoh KimJonghyun KimSang-Yoon ChangPublished in: WISEC (2022)
Keyphrases
- lightweight
- source code
- development environments
- communication infrastructure
- program understanding
- static analysis
- wireless networks
- software systems
- mobile networks
- wireless communication
- fully functional
- software development
- wireless sensor networks
- user interface
- mobile devices
- software architecture
- communication technologies
- dos attacks
- java programs
- computer systems
- test cases
- internet services