Learn More
Currently, 3GPP standardizes an evolved UTRAN (E-UTRAN) within the Release 8 Long Term Evolution (LTE) project. Targets include higher spectral efficiency, lower latency, higher peak data rate when compared to previous 3GPP air interfaces. The air interface of E-UTRAN is based on OFDMA and MIMO in downlink and on SCFDMA in uplink Main challenges for a(More)
Numerous proposals for applying temporal logic to the speciication and veriication of object-oriented systems have appeared in the past several years. Although various temporal models have been proposed for the requirements analysis of object-oriented distributed systems , there is no similar amount o f w ork for the design-and implementation phase. We(More)
Testing becomes difficult when we cannot easily determine whether the system delivers the correct result or not. To address this issue, we have developed a framework for automated testing of NASA's DAT system using metamorphic testing principles combined with model based testing. Based on the results from using the framework to test DAT we have determined(More)
  • 1