期刊： IEEE SOFTWARE, 2021; 38 (4)
The models and data framework demystifies the different roles that models and data play in software development and operation and clarifies where mach......
期刊： IEEE SOFTWARE, 2021; 38 (4)
Software bugs are common, and correcting them accounts for a significant portion of the costs in the software development and maintenance process. In ......
期刊： IEEE SOFTWARE, 2021; 38 (2)
We identified three temporal patterns shown in commit activities among Chinese and American companies and found that Chinese businesses are more likel......
期刊： IEEE SOFTWARE, 2020; 37 (3)
What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? Metamorphic testing provides t......
期刊： IEEE SOFTWARE, 2020; 37 (4)
Fully black-box robotic testing is needed given the popularity of mobile applications. A critical constraining issue for generating graphical user int......
期刊： IEEE SOFTWARE, 2020; 37 (5)
When the execution of smart contracts fails, the transaction will not be recorded to provide hints for analysts to improve their automated analyzers. ......
期刊： IEEE SOFTWARE, 2020; 37 (5)
There are too few systematic architecture designs for blockchain-based self-sovereign identity (SSI) systems to support methodical development. We pre......
