This summer will start the graduate study in advance.
The boss is a software test technology for software architectural stages.
I have a rough understanding of this summer vacation:
Software Architecture Description Language, Components, and Connections.
Formal method,
Model detection
Agreement (Connector) Design and Verification
Program slice
Test set automatic generation, test set
Z language
Time automice
Time input output automaton
Mixed automaton
Verification and testing of real-time systems
Distributed system description
Too much too much, I can't hold it.
There are hundreds of papers, it is very painful, but very happy.
I finally did my favorite research field.
Although it is not in South.
Oh, from May to now, so tired, so tired.
